/* For INSTALL.txt as HTML */

body {
  font-family: monospace;

  margin: 0 auto;
  width: 40em;

  font-size: large;
  line-height: 1.4;
  color: #444;
}

p, ul, ol {
  margin-left: 2em;
}

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;
}

pre {
  background-color: #eee;
  padding: 1em;
  margin-left: 2em;
}

code {
  color: darkgreen;
}

#home-link {
  text-align: right;
  font-family: serif;
}

#version-in-header {
  color: darkgreen;
  font-weight: bold;
}

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