body {
    font-family: "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
    font-size: 10pt;
    padding: 0px 0px 0px 0px;
    margin: 0px 0px 0px 0px;
    /*background-color: #CFE6E6;*/
	background-color: #99CCCC;
}

#topbar {
	text-align: center;
	font-size: 3em;
	line-height: 50%;
	/*background-color:#567A7A;*/
	background-color:#0066CC;
	margin: 0px 0px 0px 0px;
	padding: 10px;
	border: 0px;
	height: 100px; /* ie5win fudge begins */
	voice-family: "\"}\"";
	voice-family:inherit;
	height: 80px;
	}
html>body #topbar {
	height: 80px; /* ie5win fudge ends */
	}
div#sidebar {
	position: absolute;
	top: 100px;
	left: 0px;
	margin: 0px;
	padding: 10px;
	/*background-color:#CCB48F;*/
	background-color:#669999;
	border: 0px;
	width: 150px; /* ie5win fudge begins */
	voice-family: "\"}\"";
	voice-family:inherit;
	width: 130px;
	}
html>body #sidebar {
	width: 130px; /* ie5win fudge ends */
	}
#main {
	padding: 10px;
	border: 0px;
	margin: 0px 10px 0px 150px; 
	}
#right {
	position: absolute;
	top: 100px;
	right: 0px; /* Opera5.02 will show a space 
	at right when there is no scroll bar */
	margin: 0px;
	padding: 10px;
	border: 0px;
	background: #666;
	width: 150px; /* ie5win fudge begins */
	voice-family: "\"}\"";
	voice-family:inherit;
	width: 130px;
	}
html>body #right {
	width: 130px; /* ie5win fudge ends */
	}

div.example 
{
	border: solid 1px black;
	background-color: #DDDDDD;
	margin: 0px 0px 0px 10px;
	padding: 5px 5px 5px 5px;
}
p.tagline {
    font-size:8pt;
text-align:right;
    font-style:italic;
}

p.emphasize {
    font-weight: bold;
}

p.cls {
    font-weight: bold;
    font-style: italic;
    font-size: 1.4em;
}

p.method {
    font-weight: bold;
    font-size: 0.9em;
}

