body {
 background: #ddd;
 color: #000;
 margin: 1em;
 padding: 0;
}
body, th, td {
 font: normal 77% verdana,arial,'Bitstream Vera Sans',helvetica,sans-serif;
 letter-spacing: 0.001em;
 word-spacing: 0.1em;
 line-height: 1.4em;
}
.small {
 font: normal 0.8em verdana,arial,'Bitstream Vera Sans',helvetica,sans-serif;
}
.smallh {
 font: normal 0.6em verdana,arial,'Bitstream Vera Sans',helvetica,sans-serif;
}
h1, h2, h3, h4 {
 font-family: arial,verdana,'Bitstream Vera Sans',helvetica,sans-serif;
 font-weight: bold;
 letter-spacing: -0.018em;
}
h1 { font-size: 1.8em; margin: .15em 1em 0 0 }
h2 { font-size: 1.6em }
h3 { font-size: 1.4em }
h4 { font-size: 1.2em }
hr { border: none; margin 0em; }
address { font-style: normal }
img { border: none }
tt { white-space: pre }

:link, :visited {
 text-decoration: none;
 color: #b00;
}
:link:hover, :visited:hover {
 background-color: #eee;
}
h1 :link, h1 :visited ,h2 :link, h2 :visited, h3 :link, h3 :visited,
h4 :link, h4 :visited, h5 :link, h5 :visited, h6 :link, h6 :visited {
 text-decoration: none;
 color: #b00;
}

.biglink {
 font-size: 1.4em;
 font-weight: bold;
}

pre {
 font-size: 1em;
 font-family: 'courier new', monospace;
}
.source {
 font-size: 1em;
 font-family: 'courier new', monospace;
}

.main_body {
	width:	800px;
	overflow:	auto;
}
.menu {
	width: 180px;
}