body
{
 padding: 0;
 margin: 0;
 font-size: 100%;
 background-color: #ffc;
}

div.crumbs
{
 background-color: white;
 color: #600;
 border-bottom: 2px solid #600;
 font-size: 85%;
 padding-left: .5em;
}

#header
{
 width: 33%;
 float: left;
 font-family: helvetica;
 border: 1px solid black;
 padding-top: .5em;
 padding-bottom: 1.5em;
 padding-left: .5em;
 padding-right: .5em;
 margin-top: .5em;
 margin-bottom: .5em;
 margin-left: .5em;
 margin-right: 1em;
 background-color: #600;
 color: white;
 text-shadow: .15em .15em 0 black;
}

h1
{
 font-size: 220%;
}

h1 small
{
 display: block;
 margin-top: 1em;
 font-size: 40%;
}

h2
{
 position: relative;
 left: -5%;
}

#main
{
 width: 80%;
 max-width: 39em;
 margin-left: auto;
 margin-right: auto;
 padding-top: 7em;
 padding-left: 1em;
}

p
{
 text-indent: 1.5em;
 margin-bottom: .5em;
 margin-top: 0;
 margin-left: 0;
 margin-rigt: 0;
 line-height: 1.5;
}

p.first
{
 text-indent: 0;
}

sup
{
 font-size: .85em;
}

pre
{
 width: 110%;
 background: #fee;
 padding: 1em 5%;;
 position: relative;
 left: -5%;
 overflow: auto;
}

pre.code
{
 background: #fee;
}

pre.run
{
 background: #eee;
}

p.top:first-line
{
 font-size: 140%;
}

.footnote
{
 max-width: 38em;
 font-size: 90%;
 margin-right: 2em;
 margin-top: 6em;
 margin-bottom: 50%;
 float: right;
}