span.mainheader { padding: 5px 5px 5px 5px; font-size: 125%; font-family: Arial, Verdana, Helvetica, sans-serif; }

span.kwrd  { color: blue;  }
span.cmmt  { color: green; }
span.lbl   { color: red; }
span.dtive { color: #778899}
span.todo  { color: green; font-weight: bold; }

span.important { color: red; }

td.asminstr { width: 20%; }
td.asmdesc  { width: 70%; }

img.DE2image    { position: relative; z-index: 1; left: 10px; top: 10px; }

div.tooltip { position: absolute; display: block; z-index: 2; background-color: #FFFFDF; padding: 5px; color: black;
              font-family: Calibri, Arial, sans-serif; border-width: 1px; border-style: solid; border-color: black; }