body
{
 font-size: 100%;
 background-color: #ffefef;
 color: black;
 font-family: 'Nimbus Sans L', "Helvetica Neue", Helvetica, Arial, sans-serif;
 margin: 0;
 padding: 0;
}

#header
{
 border-bottom: 2px inset black;
 padding: .25em 0 0 .25em;
 margin: 0;
 padding: .125em;
}

#header a
{
 text-decoration: none;
 color: #600;
}

#header a:hover
{
 border-bottom: 2px solid black;
 color: #300;
 background-color: white;
}

h1
{
 font-size: 2.75em;
 padding: 0 0 0 5%;
 text-shadow: 0 0 .25em white;
 width: 95%;
 max-width: 25em;
 margin:  .25em auto .5em;
 padding: 0;
}

h1 small, h1 span
{
 font-size: 50%;
}

.func
{
 width: 80%;
 float: right;
}

.nav
{
 width: 15%;
 float: right;
 margin: 0 2%;
 padding: 0;
 list-style-type: none;
}

.nav li
{
 margin: 0;
 padding: 0;
}

.nav li
{
 width: 90%;
 max-width: 8em;
 margin: 0 auto .5em ;
 vertical-align: middle;

 font-size: 90%;
 line-height: 2;

 overflow: hidden;
}

.nav li.head
{
 text-transform: uppercase;
}

.nav li a, dt a
{
 text-shadow: 0 0 2px black;
 display: block;
 overflow: hidden;
 padding: 0 .5em 0 1em;
 background-image: linear-gradient(#600,#d00);
 box-shadow: inset 0 0 0 .25em transparent;
 border: 1px solid #900;
 border-radius: .5em;
 background-color: #800;
 max-width: 8em;
 color: #fee;
 font-weight: bold;
 text-decoration: none;
 letter-spacing: 1px;
}

.nav a:visited
{
 background-image: linear-gradient(#600,#d08);
}

.nav li a:hover, #index dt a:hover
{
 background-color: #a00;
 background-image: linear-gradient(#d00,#600);
 box-shadow: inset 0 0 .25em 0 black;
 border: 1px solid black;

}

#index p
{
 width: 80%;
 max-width: 35em;
 margin: 0 auto 1em;
}

#index #summary p
{
 width: 80%;
 max-width: 37em;
 margin: 0 10% 1em;
 line-height: 1.5;
}

pre
{
 background-color: #fffefe;
 border: 3px solid #fffefe
 color: #111;
 padding: .5em 1em;
 overflow: auto;
 margin: 0 1em 1em 0;
 border: 1px solid #fffefe;
 border-radius: .5em;
 font-family: 'Lucida Sans Typewriter', 'Bitstream Vera Sans Mono', monospace; 
}

#footer
{
 clear: both;
 margin-top: 2em;
 border-top: 2px outset black;
 padding: .25em .5em 0 0;
 text-align: right;
 font-style: italic;
}

#adsense
{
 width: auto;
 margin: 1em auto 0;
}

.gas
{
 display: inline-block;
 width: auto;
 margin: 0 1em;
}

#index dt
{
 margin-bottom: .5em;
}

#index dd
{
 margin-bottom: 1em;
}

#index p
{
 max-width: 94%;
}