@media only screen and (max-device-width: 800px) {
    body { font-size: 28pt; }
}

body {
  color: #00007f;
  background-color: silver;
}

body.error {
  color: rgb(0, 192, 0);
  background-color: black;
  font-family: monospace;
  font-size: xx-large;
}

h1 {
  margin-top: 0; 
  margin-bottom: 0.2em; 
  font-size: 1.2em; 
  font-weight: bold;
  text-align: center;
}

h2 {
  margin-top: 0.4em; 
  margin-bottom: 0.2em; 
  font-size: 1.2em; 
  font-weight: bold;
  text-align: left;
}

ol.linklist {
  list-style: none;
}