body { margin-left: 0px; margin-right: 0px; margin-top: 0px; margin-bottom: 0px; }
a.blue { color: #00CFFF; }
a.orange { color: #FFCF00; }
a.white { color: #FFFFFF; }
a.black { color: #000000; }
a.gray { color: #7F7F7F; }
td.DropMenuEntry, div.ThemeSubEntry { font-family: Arial; font-size: 8pt; font-weight: bold; }
td { font-family: Arial; font-size: 10pt; }
td.MenuEntry, td.ThemeEntry { font-size: 10pt;  font-weight: bold; }
td.copy { font-size: 8pt; font-weight: bold; }
td.orange { font-size: 12pt; font-weight: bold; border-top: solid 0.1em #000000; background-image: url( '/elements/shade_o.gif' ); background-repeat: repeat-y; }
table.theme { background-image: url( '/elements/shade_theme.gif' ); background-repeat: repeat-x; }
div.SubMenue { position: absolute; left: 100px; top: 100px; visibility: hidden; }
div { font-family: Arial; font-size: 10pt; }
big { font-size: 12pt; }
small { font-size: 8pt; }