body {
font-size: 12pt;
background-image: "pics/marble.png";
}

div.code {
font-family: Courier New, Courier;
margin-left: 1em;
margin-right: 1em;
background-color: ffffa0;
border-width: 1pt;
border-color: #999999;
border-style: solid;
}

ul.boldlist {
font-weight: bold
}

.indent {
margin-left: 1em
}
