html {
  background-color: #fefefe;
  color: #424242;
}

body {
  padding: 1em;
  max-width: 50em;
}

img {
  max-width: 50em;
}

a, a:visited {
  color: #058;
  text-decoration: none;
  font-style: italic;
  white-space: pre;
}

a:hover {
  text-decoration: underline;
}

table.files {
  width: 100%;
  border-collapse: collapse;
}

table.files td, table.files th {
  padding: 0.2em;
}

table.files th.path {
  text-align: left
}

table.files th.size, table.files td.size {
  text-align: right;
}

table.files th.path, table.files td.path {
  width: 99%;
}

table.files tr.directory a, table.files tr.directory a:visited {
  font-weight: bold;
}

table.files tr.executable a, table.files tr.executable a:visited {
  color: #082;
}

table.striped tbody tr:nth-child(odd) {
  background-color: #efefef;
}

#table-of-contents ul {
  list-style: disc;
  padding-left: 1em;
}