body {
  background: url("pentagram.svg");
  background-color: #311;
  font-family: sans-serif;
  color: #ffd;
  margin: 2em;
  text-align: justify;
}

h1 {
  margin-top: 0em;
}

table, td, th {
  padding: 0.5em;
}

table
{
  border-spacing: 0 1em;
}

td {
  background: rgba(128, 0, 0, 0.25);
  vertical-align: top;
}

th {
  font-weight: bold;
}

code {
  background-color: black;
}
code.example, pre {
  background-color: black;
}

#navbox {
  background: black;
  float: right;
  padding: 1em;
  margin: 1em;
  border-radius: 1em;
}

a {
  color: cyan;
}

#screenshot {
  display: block;
  text-align: center;
  padding: 1em;
}

#contents,#footer {
  background: rgba(0, 0, 0, 0.7);
  border-radius: 1em;
  margin-bottom: 2em;
  padding: 2em;
  width: 40em;
}