.timer {
  position: fixed;
  font-size: 3vmin;
  top: 1vmin;  /* linux nijmegen :-( normal method is bottom */
  bottom: 1vmin;
  right: 5vmin;
  z-index: 1;
}

#timer .timer {
  display: none;
}

@media print {
  .timer {
    display: none;
  }
}