body {
	position: relative;
	margin: auto;
	padding: 5px 0 0 0;
	font-family: "Nimbus Sans L", "DejaVu Sans", Arial, Lucida,  Helvetica,sans-serif;
	font-size: 90%;
	background-color: #f0f0f0;
}
#frame {
    padding: 0;	
	background-color: #f0f0f0;
}
#content {
	position: absolute;
	right: 190px;
	left: 190px;
	overflow: auto;
	min-height: 100%;
}
#content ul {
    margin: 0.5em;
    margin-bottom: 0.5em;
    padding-left: 1.2em;
}

#content img {
	vertical-align: middle;
}
#content a[href] {
	text-decoration: none; 
	color: #1678a5;
	background-color: #f8f8f8;
	padding: 0;
	padding-left: 3px;
	padding-right: 3px;
	margin: 0;
}
#content a[href]:hover {
	color: #fff;
	background-color: #1678a5;
}
h1, h2 {
	margin-top: 0.8m;
	margin-bottom: 0.4em;
}
h3, h4, h5 {
	margin-top: 0.4em;
	margin-bottom: 0.2em;
}
test {
	font-size: 90%;
	font-size: 115%;
}
#content {
	margin: 0;
	margin-top: 0.2em;
	padding: 0.5em;
	background-color: #f8f8f8;
	border: 1px solid #636b80;
}
#content div {
}
#content pre, #content #highlight {
	margin: 0.2em;
	padding: 0.2em;
	background-color: #e8e8e8;
	border: 1px solid #1678a5;
}
#content pre {
	overflow: auto;
}
#content #highlight2, #content #info {
	margin: 0.2em;
	padding: 0.2em;
	background-color: #bbffbb ;
	border: 1px solid #00ff00;
}
#content #highlight3, #content #warning {
	margin: 0.2em;
	padding: 0.2em;
	background-color: #ffffbb;
	border: 1px solid #1678a5;
}
#content #highlight4, #content #error {
	margin: 0.2em;
	padding: 0.2em;
	background-color: #ffbbbb;
	border: 1px solid #ff0000;;
}