body { 
color: black; background-color: rgb(255,255,255);
margin-left: 5%; margin-right: 5%; 
font-family: Verdana, sans-serif;}
a:link {background-color: rgb(255,255,255);color: rgb(0, 0, 153) }
a:visited {background-color: rgb(255,255,255); color: rgb(0, 0, 153) }
a:active {background-color: rgb(255,255,255); color: rgb(255, 0, 102) }
a.dps:link {background-color: black; color: white; }
a.dps:visited {background-color: black; color: white; }
a.dps:active {background-color: black; color: white; }
a.dps:hover {background-color: white; color: black; }
a.dps { text-decoration: none }
a.plain { text-decoration: none; color: black; }
.centre {text-align: center}
.right {text-align: right}
.left {text-align: left}
h1 { font-size: 200%; }
h2 { font-size: 150%; }
h3 { font-size: 125%; }
h1,h2,h3,h4,h5,p,ul,ol,dl { font-family: sans-serif, StoneSans, verdana, Arial; }
em { font-style: italic; font-weight: normal; }
strong { text-transform: uppercase;  font-weight: bold; }
li { padding-top: 0.5em}
pre { 
background-color: rgb(255,255,255);
color: aqua; font-weight: bold; white-space: pre; font-family: monospace; 
}
img.centre {align: centre}