/* document style */
html {
	margin: 0; padding: 0;
	font: 10pt Arial, sans-serif;
	color: #000000;
	background: #FFFFFF url(/misc/bg.jpg) repeat-y scroll top left;
}
body {
	margin: 0px 5px 0px 75px;
}
#universe {
	color: #000000;
	margin: 5px;
}
#footer {
	border-top: 3px solid #E0E0E0;
	border-bottom: 3px solid #E0E0E0;
	font-size: 8pt;
}
#footer p {
	margin: 5px 0px;
	font-size: 8pt;
}

/* images */
img {border: 0;}

/* hyperlinks */
a:link, a:visited {
	color: #800000; text-decoration: underline;
}
a:hover {
	color: #FF0000; text-decoration: underline;
}

/* text */
h1 {font-weight: bold; font-size: 14pt; font-style: italic;}
h2 {font-weight: bold; font-size: 10pt;}
h3 {font-weight: bold; font-size: 10pt;}
p {text-align: justify;}

/* list styles */
ul {
	list-style: square outside;
	padding-left:15px;
	margin-left: 0px;
}

/* special text */
.code_block {
	border-left: 3px solid #E0E0E0;
	border-right: 3px solid #E0E0E0;
	font-family: Courier, monospace;
	padding: 0px 10px;
	margin: 0px 5px;
	text-align: left;
	white-space: pre;
}
.code {
	font-family: Courier, monospace;
	font-weight: bold;
}
.comment {
	color: #008000;
}
.quote {
	margin: 0px 15% 0px 10%;
	font-style: italic;
	text-align: left;
}