body {
background: #69C;
color: black;}

DIV.dsmain {
background: white; 
width: 80%; 
margin: 1em 10%; 
padding: 0 0 1em 0;}

h1 {
padding: 0.25em 0.25em 0.125em; margin: 0; background: #9CF; border-bottom: 0.125em solid #69C; font: 160% Arial, sans-serif;}

h3 {padding: 0.25em 0 0.125em 0; font-family: Arial, sans-serif; border-bottom: 2px solid #69C; margin: 0 0 0 1em;}

p {margin: 0.75em 0.5em 0.75em 1em; font-family: Arial, sans-serif;}
pre {margin-left: 2em;}
example {padding: 0.5em 1.5em;}

.comment { margin: 0.75em 0.5em 0.75em 1em; font-family: Arial, sans-serif; ; font-size: small; text-align: center; color: #FFFFFF; background-color: #009900}