body{background-color:#e0f0ff;margin-left:5%;margin-right:5%;line-height: 150%;}
p{line-height:150%;margin-left:1em;margin-right:5%;}
h1{font-size:200%;}
h2{font-size:150%;color:#000080;line-height:150%;background-color:#dfdfff}
h3{font-size:140%;color:#b00040;line-height:150%;background-color:#ffdfdf}
span.red{color:#8f0000;font-weight:bolder;}
span.green{color:#008000;font-weight:bolder;}
span.ex{color:#800080;font-weight:bolder;}
span.command{font-weight:bolder;}
pre{font-size:100%;line-height:120%;border:solid 1px #000000;padding-left:1em;padding-right:1em;}
strong{color:#000080;}
strong.normal{color:#000000;}
strong.item{color:#008080;}
div{background-color:#ffffff;font-weight:bolder;font-size:120%;}
table{background-color:#ffffff;}