div.header {font-family: sans-serif; font-style: italic; font-weight: bold; font-size: small }
a:link    { color: #cc0000}
a:active  { color: #ff0000}
a:visited { color: #660000}
/* a.header:link    {font-style: italic; color: #006666; } */
/* a.header:active  {font-style: italic; color: #ff0000}   */
/* a.header:visited {font-style: italic; color: #336666}   */
div.footer {font-family: sans-serif}
div.menu {font-family: sans-serif; font-style: italic}
td.menu {font-family: sans-serif; font-style: italic}
td.minitoc { font-family: sans-serif; font-style: italic; font-size: small }
ul.minitoc { list-style: none; font-family: sans-serif; font-style: italic; font-size: small }