/* $Id: default.css,v 1.2 2004/08/22 01:54:09 wolfgang Exp $ */

body 		{ background-color: white; color: black; }
em 		{ font-weight: bold; }
a		{ white-space: nowrap; }
a:link		{ color: blue; }
a:visited	{ color: purple; }
a:active	{ color: yellow; }
a:hover		{ color: red; }
.footnote      	{ font-size: 80% }
.footer		{ font-size: 64% }
.note		{ font-size: 64% }
.center		{ text-align: center }
.typeout     	{ background: white;
		  color: black;
		  padding: 0.5em;
		  border: none;
		  font-weight: bold;
		}
.rfc		{ font-weight: bold; }

/* left pix hack */
#leftpix {
	position: absolute;
	top: 5.3em;
	left: 0.5em;
	padding: 0.5em;
	width: 400px;
}

#main {
/*	font: 1.0em/1.2em 'Times New Roman', 'Times', serif; */
	margin: 0.8em 0.5em 0em 500px;
	background-color: white
}

/* menu bar settings */

#menu {
	position: absolute;
	top: 5.3em;
	left: 0.5em;
	border: 1px solid #99ccff;
	padding: 0.5em;
	width: 125px;
}

#menu a {
	font-size: 0.8em;
}

#menu p {
	line-height: 1.4em;
	margin: 0px;
	padding: 0px;
}

#menu h2 {
	margin-top: 1.7em;
	padding: 0px;
	font-size: 1.6em;
}

#menu h3 {
	margin: .3em 0;
	padding: 0px;
	font-size: 110%;
	line-height: 110%;
}

#menu img {
	border-width: 0;
	height: 9.2em;
	width: 4.4em;
}

/* end */