body { background:cornsilk; font-family:"Bookman Old Style","new century schoolbook",Garamond,"Times New Roman",times,serif; font-size:18px }
p.nav { background:#EEEECC; font-family:Arial,Helvetica,sanserif; font-size:20px; text-align:center; font-style:normal; font-variant:normal }
p.sig { font-size:10pt; font-style:italic }
p.centre { font-size:20px; font-weight:bold; text-align:center }
tt, pre { font-family:courier,monospace,monotype; font-size:18px; font-weight:bold }
tt.big { font-family:courier,monospace,monotype; font-size:28px; font-weight:bold }
h1 { font-family:Arial,Helvetica,sanserif; font-size:35px; text-align:center }
h2 { font-family:Arial,Helvetica,sanserif; font-size:25px; text-align:center }
h3 { font-family:Arial,Helvetica,sanserif; font-size:25px }
h4 { font-family:Arial,Helvetica,sanserif; font-size:20px; text-align:center }
h5 { font-family:Arial,Helvetica,sanserif; font-size:20px }
a:link    { COLOR:#4400ff }
a:visited { COLOR:#4400aa }
a:hover   { COLOR:#008800 }
span.copy { font-size:12pt; font-style:italic }
pre { background:#FFFAEE; }