body {
	margin: 0;
	padding: 0;
	background: #fff;
	color: #000;
	font-size: small;
	font-family: Verdana,Arial,Helvetica,sans-serif;
}
#header{
	background: Teal;
	text-align: right;
	/* For python sourcecode
	font-size: 40px;
	padding: 0px 0px; */
	height: 80px;
}
h1 {
	margin: .5em 0 .25em 0;
	color: Black;
	font-weight: normal;
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size: large;
}
h2 {
	color: Black;
	font-weight: normal;
	font-size: larger;
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
	line-height: 1.2em;
	margin-top: 1em;
	margin-bottom: .5em;
}

h3{
	margin-top: 1em;
	font-size: medium;
	font-weight: normal;
	margin-bottom: 0px;
}

a{
	color: Teal;
	text-decoration: none;
	border-bottom: 1px solid #eee;
}
a img {border:0}

a:hover{color:033}

ol{
	margin-left: 2em;
}
li{
	margin-left: 0px;
	margin-top: .5em;
}
dl{
	margin-top: 0em;
}
dt.meth{
	margin-top: .5em;
}
#nav {
	position: absolute;
	width: 160px;
	top: 85px;
	left: 0px;
	bottom: 0px;
	font-size: 12px;
}
#nav ul{
	list-style-type: none;
	padding: 0;
	margin-top: 10px;
	margin-right: 10px;
	margin-left: 10px;
}
#nav li{
	border-top: 1px solid #ccc;
	border-right: 1px solid #ccc;
	border-bottom: 1px solid #ccc;
	border-left: 5px solid #acc;
	margin-top: 4px;
	padding-right: 4px;
	padding-left: 4px;
	padding-bottom: 3px;
	padding-top: 3px;
}
#nav li a{
	text-decoration: none;
	color: #aaa;
	border: 0;
}
#nav li a:hover{color:#666}
#content, #footer{
	margin-top: 5px;
	margin-right: 20px;
	margin-left: 170px;
	margin-bottom: 0px;
}
pre{
	border: 1px solid #ccc;
	background: #eee;
	padding: 2px 20px 2px 2px;
	font-size: small;
}
div.result{
	background: #eee;
	padding: 2px 20px;
	border: 1px solid #ccc;
}
#footer{
	border-top-color: Black;
	border-top-style: solid;
	border-top-width: 1px;
	font-size: 9px;
}
/* Corbon-specific CSS */
p.crb-uplink {margin-top:2em}

ul.crb-locallink {list-style-type:none;margin:0;padding:0}
ul.crb-locallink li {margin:0.5em 0}

ul.crb-directory {list-style-type:none;margin:0;padding:0}
ul.crb-directory li {margin:0.5em 0}

ul.crb-seealso {
	list-style-type: none;
	padding: 0;
	margin-left: 1em;
}
ul.crb-seealso li {margin:0.5em 0}
/* For email-images */
p img {vertical-align:bottom}

/* For python sourcecode */
#py_tx{
	margin: 0px;
	}
#py_lno{
	color: Black;
	background-color: Silver;
}
#py_str{
	color: Gray;
}
#py_com{
	color: Teal;
}
#py_kwd{
	color: Blue;
	font-weight: bold;
}
#py_hlg{
	color: Red;
}
#py_a{
	margin: 0px;
	font-size: xx-small;
}	
