body
{
  max-width: 700px;
  margin: 80px auto;
  border: 4px solid #111;
  padding: 10px;
  border-radius: 10px;
  font-family: sans-serif;
  background-color: #ddd;
}

p
{
  line-height: 17px;
  margin: 15px 0;
  border-top: 2px solid white;
  border-bottom: 2px solid #666;
  border-left: 5px solid #855;
  border-right: 5px solid #855;
  overflow: hidden;
}

h1, h2
{
  margin: 10px 0 5px;
  font-family: serif;
  border: 10px solid #818;
  background-color: #aba;
  text-align: center;
  color: #300;
  text-shadow: 1px 1px 0 #fff;
}

h3
{
  margin: 5px 0 5px;
  font-family: serif;
  border: 5px solid #881;
  background-color: #aba;
  text-align: center;
  color: #300;
}

pre, code
{
  background-color: #fcfcfc;
}

pre
{
  font-size: 14px;
  max-width: 800px;
  overflow: hidden;
}

table
{
  border-spacing: 0px;
  margin: 5px;
  border-top: 1px solid white;
  border-right: 1px solid white;
  border-bottom: 1px solid #444;
  border-left: 1px solid #444;
  font-size: 15px;
  overflow: hidden;
}

td, th
{
  border-top: 2px solid white;
  border-right: 2px solid white;
  border-bottom: 2px solid #444;
  border-left: 2px solid #444;
  cursor: cell;
}

th
{
  background-color: #aaa;
}

a
{
  cursor: zoom-in;
  color: #00c;
  text-decoration: underline;
  text-decoration-style: wavy;
}

.nav
{
  display: block;
  background-color: #f0f1ff;
}

.dead
{
  color: #d00;
}
