body {
  font-family: monospace, "PT Serif", "Helvetica", serif;
  line-height: 1.25;
  /* padding: 10px; */
  background-color: beige; }

div {
  margin: 20px auto;
  padding: 0 1.4em; }

#content {
  margin: auto;
  padding: 0px 10px 10px 10px;
  max-width: 960px;
  border: 1px solid black;
  box-shadow: 5px 5px grey;
  background-color: white;
  box-sizing: border-box; }
  #content tr:hover {
    background-color: #eee; }
  #content td {
    white-space: nowrap;
    vertical-align: top; }
  #content td:last-of-type {
    width: 1%; }

table {
  width: 100%; }
  table:first-of-type {
    max-width: 960px;
    margin: auto; }
    table:first-of-type tr:first-of-type td:first-of-type {
      width: 1%;
      white-space: nowrap; }

/* Links */
a, a:visited {
  color: blue;
  text-decoration: underline;
  border-radius: 2px;
  padding: 0 1px; }
  a:hover, a:visited:hover {
    background-color: blue;
    color: white;
    text-decoration: none; }

/* Nav and footer */
nav, footer {
  color: grey; }

footer {
  text-align: center; }

nav a, footer a {
  color: grey; }

nav a {
  padding: 0.5ch; }

nav a:hover, footer a:hover {
  background-color: grey;
  color: beige; }

pre {
  line-height: 1.25; }
  pre:first-of-type .i .i {
    color: green; }
  pre:first-of-type .i .d {
    color: red; }
  pre:last-of-type .i {
    background-color: #e6ffed; }
  pre:last-of-type .i:hover {
    background-color: #e6ffed; }
  pre:last-of-type .d {
    background-color: #ffeef0; }
  pre:last-of-type .d:hover {
    background-color: #ffeef0; }
  pre:last-of-type .i, pre:last-of-type .d {
    text-decoration: none;
    display: block;
    color: black; }

#blob .line {
  text-decoration: none; }