a:visited { color: #3f00a0; }
body { margin: 1.2em 1.5em 1em 25px;
	font-family: arial, sans-serif;
	font-size: 0.95em; }
h1 { font-size: 2.5em; } 
h1, h2, h3 { font-family: sans-serif; }
h1, h2, h3 { color: #003fa0; }
h4 { color: #a00010; }
p, ul, dl, ol { margin-left: 0.8em; }
li { margin-left: 1.5em; }
img { border: 0px; }
pre { font-size: 0.8em; font-family: "courier new", monospaced;
	margin-left: 2em; padding: 0.8em; background-color: #f2f8ff; }
tt, code { font-size: 0.8em; font-family: "courier new", monospaced; }
dt { font-weight: bold; }

p.copyright { font-family: verdana, sans-serif; font-size: 0.7em;
	margin: 0em; color: #505070; }
p.linear { margin-left: 0px; }

.bold { font-weight: bold; }

@media screen {
pre { margin-right: 50px; }
a:hover { background-color: #ffffbb; }
}