body {
background: #eeeeee;
font-family:  verdana, arial, helvetica, sans-serif;
font-size: 10pt;
}

div.page {
background: #ffffff;
width: 800px;
height: 100%;
}

td { font-size: 8pt; vertical-align: top; text-align: center }
td.menu { font-size: 12pt; vertical-align: top; text-align: center; height: 10;}
td.mainmenu { background:#00e000; font-size: 14pt; font-weight:bold; font-style: italic; vertical-align: top; text-align: left; height: 10;}

A:link {color: #6600ff; text-decoration: none }
A:visited {color: #6600ff; text-decoration: none }
A:active {color: #6600ff; text-decoration: underline }
A:hover {color: red; text-decoration: underline }

A.menu:link {color: #6600ff; text-decoration: none }
A.menu:visited {color: #000080; text-decoration: none }
A.menu:active {color: #6600ff; text-decoration: underline }
A.menu:hover {color: red; text-decoration: underline }

a.broken {text-decoration: line-through }

A.glossary:link {color: green; text-decoration: none }
A.glossary:visited {color: green; text-decoration: none }
A.glossary:active {color: green; text-decoration: underline }
A.glossary:hover {color: red; text-decoration: underline; cursor: help }

span.firstline { font-weight: bold; }
span.glossary { color: green; }
span.journal { font-style: italic }