/* For INSTALL.txt as HTML */

@media screen and (min-width: 801px) {
  body {
    font-size: large;
  }
}

body {
  font-family: monospace;
}

h1 {
  font-size: 1.5em;  /* reduce to what browsers apparently use for h2 */
  font-family: serif;
}

h2 {
  font-size: 1.2em;  /* reduce to what browsers apparently use for h3 */
  font-family: serif;
}

/* Exclude Markdown <pre><code> */
code:not(pre code) {
  color: green;
}

#home-link {
  font-family: serif;
}

#build-timestamp {
  font-family: serif;
}