a {
	color: #222200;
	font-weight: bold;

}

pre.code {
	margin: 0em 3em 0em 2em;
	color: #302580; 
	background-color: #DDDDDD; 
	font-family: "courier new"; 
	border: 1px solid #aaaaaa; 
	padding: 1em; 
	white-space: pre; 
}
pre.example {
	margin: 0em 3em 0em 2em;
	color: #302580; 
	background-color: #DDDDAA; 
	font-family: "courier new"; 
	border: 1px solid #aaaa77; 
	padding: 1em; 
	white-space: pre; 
}
pre.comment {
	margin: 0em 3em 0em 2em;
	background-color: #888888; 
	font-family: "courier new"; 
	border: 1px solid #aaaaaa; 
	padding: 1em; 
	white-space: pre; 
}

.commentbox {
	margin: 0 0 0 0; 
	border: 1px solid #000000;
	background-color: #AAAABB;
	width: 100%; 
	padding: 1px;

}

.commentheader {
	margin: 0 0 0 0; 
	background-color: #BBBBCC;
	width: 100%; 
	padding: 1px;

}

.commentheaderrow {
	width: 100%;
}

.commentheaderauthor {
	float: left;
}

.commentheaderemail {
	float: right;
	text-align: right;
}

.commenttext {
	margin: 0 0 0 0; 
	background-color: #DDDDEE;
	width: 100%; 
	padding: 1px;

}

.commentreply {
	margin: 0 0 0 0; 
	background-color: #DDDDEE;
	width: 100%; 
	padding: 1px;

}


a.menubar {
	text-decoration: none;
	color: #222222;
}

a.function {
	color: #0000AA;
	font-weight: bold;
}

a.postcomment {
	text-decoration: underline;
	color: #0000AA;
	font-weight: bold;
}

a.samefunction {
	text-decoration: none;
	color: #222200;
	font-weight: bold;
}

a.descriptionfunction {
	text-decoration: underline;
	color: #0000AA;
	font-weight: bold;
}

a.neighborfunction {
	text-decoration: none;
	color: #222200;
}

a.searchresult {
	text-decoration: none;
	color: #222200;
	font-weight: bold;
}

tr.menubar {
	background-color: #AAAAFF;
}
tr.functionbar {
	background-color: #AAAAFF;
}

td.leftmenu {
	background-color: #AAAAFF;
}
td.dividerline {
	background-color: #000055;
}
td.content {
	background-color: #FFFFD3;
}
td.footer {
	background-color: #EEEECC;
}

form.thin {
	margin-bottom: 0px;
	margin-top: 0px;
}

table.comment {
	border-spacing: 0;
}

}
tr.commentbox {
	background-color: #AABBBB;
}
tr.commentheader {
	background-color: #9999BB;
}
tr.commenttext {
	background-color: #888888;
}
tr.commentreply {
	background-color: #777799;
}
tr.commentspacer {
	background-color: #000000;
}
UL {margin-left: 10px; padding-left: 5px;}
LI {list-style: square; color:black;}