body { font-family:Tahoma,Verdana,Arial,sans-serif }
.blue { color: #0000cc }
.tag { font-family:"Courier New",Courier,monospace }
.example { font-family: "Courier New",Courier,monospace; font-size:smaller; background:#f0f0ff; padding-top:10px; padding-bottom:10px }    
.refheading { background:#008000; color:white }
.reverse { background:#0000cc; color:white; text-align:center; padding-top:10px; padding-bottom:10px }
.navigation { background:#f0f0f0; text-align:right }
.output { background:white;border:black double 2px;color:black;width:50%;padding:5 }
h4.output { color:black;border:none;width:100%; padding:0 }
.errmsg { color:#cc0000; text-decoration:underline }
.fakelink { color:#0000ff; text-decoration:underline }