div.bluemenu:hover { background: #0066FF;}
a:hover        {color: #FFFFFF; background: #0066FF;}
a.noline       {font-family: Arial; font-size: 12; font-weight: bold; text-decoration: none; color: #0066FF; display: block}
p              {font-family: "Arial"; font-size: 10pt; margin-left: 10;}
li             {font-family: "Arial"; font-size: 10pt; margin-left: 10;}
h4             {margin-left: 10;}
table.download { background-color: #D5F3FF; padding: 10; border-width: 1; border-style: outset; border-color: #99CCFF; margin: 0; width: 150; height: 100%;}
table.info     { padding: 10; border-width: 0; margin: 0; width: 100%; height: 240; }
table.menu     { padding: 10; border-width: 0; margin: 0; width: 140; height: 100%; }