body { font-family:arial,helvetica,verdana, sans-serif; margin-left: 1em; margin-right: 1em; }
div  { font-weight:bold; margin-top: 1em; margin-bottom: 1em; }
div.section { margin-left: 2em; }
div.copyright { font-family:serif; font-weight:normal; }
div.brokenlink { font-family:serif; font-weight:normal; }
div.warning { margin-left: 2em; margin-right: 3em; color: red; }
div.note { margin-left: 2em; margin-right: 3em;  font-style: italic; }
div.info { margin-left: 2em; margin-right: 3em;  font-style: italic; font-size: smaller; }
.filename { font-family: serif; font-size: larger; }
.UI {font-style: italic; }
li { font-weight: bold; }
h1.heading { color: Maroon; font-size: larger; }
table { font-weight:bold; }