body {
	font-family: verdana, sans-serif;
	color: #FFFFFF;
	background: #000000;
}

body.record {
        padding: 10px 60px 0px 60px;
	font-family: sans-serif;
	color: #000;
	background: #CCCCCC;
}

body.white-background {
	font-family: verdana, sans-serif;
	color: #000000;
	background: #FFFFFF;
}

h1 {
	font-size: 160%;
	font-family: sans-serif;
	margin-top: 25px;
	margin-bottom: 0px;
}

h2 {
	font-size: 110%;
	font-family: sans-serif;
    line-height: 2.0;
}

h3 {
	font-size: 90%;
	font-family: sans-serif;
}

pre {
	font-family: courier, monospace;
}

a.nounderline {text-decoration: none;}

span.gray {
    color: #C0C0C0;
}

div.bigger {
	font-size: 110%;
}