body { font-family: Arial, "sans-serif";
       font-color: black;
       font-size: 12pt; }
pre { font-family: monospace;
      font-size: 10pt; }
a.toc { font-size: 8pt; }
a.docu { font-size: 10pt; }
p { font-size: 10pt; }
p.toc { font-size: 8pt; }
table { font-face: Arial, "sans-serif";
        font-size: 10pt; }
ol { font-face: Arial, "sans-serif";
        font-size: 10pt; }
ul { font-face: Arial, "sans-serif";
        font-size: 10pt; }
li {margin-bottom: 10px; }
a:link { color: yellow; }  /* for unvisited links */
a:visited { color: yellow; } /* for visited links */
a:active { color: yellow; } /* when link is clicked */
a:hover { color: yellow; } /* when mouse is over link */