/* Menu Styles */body         { margin-left: 10px; margin-top: 10px;               background-color: #000000; color: #8C87FF;               font-family: Arial; font-size: 11pt; }               table        { border-style: none; width: 100%; height: 100%;               background-color: #000000; color: #8C87FF;               font-family: Arial; font-size: 11pt; }td           { padding: 0px;  vertical-align: top; }img          { border-style: none; }a            { color: #8C87FF; text-decoration: none; font-weight: bold; }a.off        { color: #8C87FF; }a.on         { color: #FFE678; }