body{margin:2em;background-image: url(css/background.jpg)}
h1{color:green;background-image: url(css/background_h2.png); padding:0.2em 0.0em;  font:bold 24pt; border: 3px ridge;>}#border:ridge;
h2{color:green; background-color: rgb(255,255,255)}
li{line-height:1.3}
pre{margin:0em}
p {line-height:1.5;letter-spacing:0.05em;}
dt{font-weight:bold}
dd{margin-bottom:0.5em}
.sample{margin:0.5em 2.5em 2em; padding:0.5em 1em;color:green; border-color:green; border-style:solid; border-width:thin}
.table{margin:1em; padding:1em;background-color:rgb(236,236,255); border-color:rgb(236,236,255); border-style:outset}
.comment{margin:1em; padding:1em; background-color:rgb(255,227,176); border-color:rgb(255,227,176); border-style:outset}