body { background-color: #becad6; color: #000000; }
a { color: #0000ff; }
a:hover { color: #000080; }
h1 { color: #ff0000; }
h2 { color: #aa4422; }
p { color: #007700; font-weight: bold; }
p.norm { color: #000000; font-weight: bold; }
p.myblue { color: #0000ff; font-weight: bold; }
pre { font-weight: bold; }
span { color: #0000ff; font-weight: bold; font-family: "Times New Roman", Times, Serif; }
span.myblue { color: #0000ff; font-weight: bold; font-family: "Courrier New", Courrier, Monospace; }
span.mygreen { color: #007700; font-weight: bold; font-family: "Courrier New", Courrier, Monospace; }