#latch-status {
  text-align: center;
  color: grey;
}

h1 {
  text-align: center;
}

h2 {
  font-size: x-large;
}

/* Make it centered and skinny for readability */
body {
  margin: 0 auto;
  font-size: large;

  line-height: 1.4;  /* http://bettermotherfuckingwebsite.com/ */
  color: #444;
  width: 80%;
}

.skinny {
  width: 30em;
}

/* Inline code */
code {
  color: green;
}

blockquote {
  background-color: papayawhip;
  padding: 0.5em;
}

pre {
  background-color: #EEE;
  padding: 0.5em;
  border: none;

  font-size: medium;
}

.footnotes {
  font-size: small;
}

.date {
  font-size: medium;
  color: #666;
  line-height: 1.0;  /* reset */
}

/* Cross-ref anchor tags */
a[name] {
  color: green;
}