body {
	width: 100%;
	background-color: #fff;
	font: normal 90% Arial, Helvetica, Verdana;
	color: #454545;
	margin-top: 0;
	margin-left: 0;
	margin-right: 0;
}

#logo {
	font-size: 100%;
	background-color: #eeeeee;
	height: 46px;
	margin-top: 0;
	border-bottom: 1px solid #cacaca;
}

#logo a {
	color: #9f7e40;
	text-decoration: none;
}

#logo a:hover, #logo a:active {
	color: #afaf77;
}

#contentwrapper {
	float: left;
	width: 100%;
}

#content {
	font-size: 100%;
	padding: 5px 5px 2px 10px;
	margin-right: 245px;
	border-right: 1px dotted #cacaca;
}

/* The content margin-right is 245 px.  To get navigation's dotted border
   to same position as contents dotted border we have width 231 + right
   border padding 4 + left border padding 10 == 245 px. */
#navigation {
	border-left: 1px dotted #cacaca;
	width: 231px;
	min-height: 590px;
	position: relative;
	float: right;
	padding: 5px 4px 2px 10px;
}

#footer {
	background-color: #eeeeee;
	clear: left;
	width: 100%;
	font-size: 100%;
	border-top: 1px solid #cacaca;
}

#footer a {
	color: #9f7e40;
	text-decoration: none;
}

#footer a:hover, #footer a:active {
	color: #afaf77;
}

pre {
	font-family: monospace;
	margin: 12px;
	padding: 5px;
	white-space: pre;
	color: #000;
}

pre.source {
	background-color: #ffe;
	border: dashed #aa9 1px;
}

p {
	margin: 15px;
}

p.item_name  {
	font-weight: bolder;
	margin: 5px;
	font-size: 110%;
}

ul.toc_entries {
	list-style-image: url(./arrow.png);
}

a.menuitem {
	font-size: 90%;
	color: #9f7e40;
	padding: 4px 1px 1px 5px;
	background: url(./arrow.png) no-repeat center left;
	text-align: left;
	padding-left: 20px;
}


#extra, #extra a
{
}

#content a {
	color: #9f7e40;
	text-decoration: none;
}

#content a:hover, #content a:active {
	color: #afaf77;
}

a.indexitem {
	display: block;
}

h1
{
	font-size: 220%;
	margin-top: 0px;
}

h2
{
	font-size: 180%;
	margin-top: 0px;
}

h3
{
	font-size: 133%;
	margin-top: 0px;
}

h4
{
	font-size: 124%;
	margin-top: 0px;
}

h5
{
	font-size: 115%;
	margin-top: 0px;
}

h6
{
	font-size: 106%;
	margin-top: 0px;
}

#navigation a {
	text-decoration: none;
}

.menuitem:hover {
	color: #afaf77;
	text-decoration: none;
}

#extra a
{
    text-decoration: none;
}

#logo a
{
    text-decoration: none;
}

#extra a:hover
{
}


.menuitem       {width: auto;}
#content        {width: auto;}
.menuitem       {display: block;}

span.keyword
{
    color: #00F;
}

span.comment
{
    color: #080;
}

span.quote
{
    color: #F00;
}

span.squote
{
    color: #F0F;
}

span.sign
{
    color: #008B8B;
}


@media print
{
    #navigation {display: none;}
    #content    {padding: 0px;}
    #content a  {text-decoration: underline;}
}