body{
	font-family : arial, Helvetica, sans-serif;
	font-size : 83%;
}
h1{
	padding : 0;
	margin : 0;
	font-family : arial, Helvetica, sans-serif;
	font-size : 90%;
}
#logo{
	border-bottom : 1px solid white;
	margin-bottom: 0.8em;
}
#menu{
	width : 300px;
	float:left;
}
#body{
	width : 35em;
	float:left;
	padding-left : 20px;
}
div.menugroup{
	padding-left : 20px;
	font-size : 110%;
}
div.menuitem{
	margin :0.2em  0 0 0.5em;
}
div.menusubitem{
	margin :0.2em  0 0 1.5em;
	font-size : 95%;
}
strong.menu_selected{
	color: white;
	font-weight : normal;
}
strong.menugroup{
	font-size : 110%;
}
h2{
	color : red;
	font-size : 105%;
}
p{
	margin : 0 0 0.5em 0;
}
a:hover{
	color : white;
}
td,th{
	font-size : 80%;
}
code{
	font-family : "Courier New", Courier, monospace;
	font-size : 100%;
	background-color : #323232;
}
span.c{
	color: yellow;
}

span.o{
	color: Lime;
}

span.e{
	color: Aqua;
}

span.m{
	color: Red;
}
span.s{
	color: blue;
}
span.p{
	color: Fuchsia;
}
pre{
	font-family : "lucida Console","Courier New", Courier, monospace;
	font-size : 90%;
	border-top : 1px solid #B00000;
	border-bottom : 1px solid #B00000;
	padding : 0.4em;
}
blockquote{
	margin-left : 1.5em;
	font-size : 100%;
}
strong.class_descr{
	background-color : silver;
	color : black;
	padding : 3px;
	font-family : "lucida Console";
}
li{
	padding : 0.3em 0 0 0;
}