body { font-size: 10pt; font-family: arial; margin-left: 10%;  margin-right: 10%; color: #666666 }
td   { font-size: 10pt; font-family: arial }
em   { font-size: 12pt; font-style: normal; color: #9a7955; font-family: arial; font-weight: normal }

a    { color: #9a8361; text-decoration: underline }
a:hover { color: #14ea79; text-decoration: underline }
a.menu    { color: #ffffff; text-decoration: none }

h1, h2, h3, h4 { color: #333333; }
h1   { font-size: 18pt }
h2   { font-size: 16pt }
h3   { font-size: 14pt }
h4   { font-size: 12pt }
p    { text-align: justify }

li   { list-style-image: url("../img/dot5.png") }

pre { color: black; border: solid 1px #c0c0c0;  font-family: monospace;  padding: 10px; }
pre.dochead { background: #e0e0e0 }
pre.example { background: #ffffff; }
pre.code { background: #f8f8e8; }