DIV#workspace_header { background-color: #888888; }
DIV#workspace_menu TABLE TD {  }
DIV#workspace_menu TABLE TD A { color: #000000 }
DIV#workspace_menu TABLE TD A:hover { color: #FF0000 }
DIV#workspace_footer_menu { border-top-color: #333333; }
DIV#workspace_footer_menu TABLE TD A { color: #888888; }
DIV#workspace_footer_text, DIV#workspace_footer_links { color: #888888; }
DIV#workspace_footer_links A { color: #888888; }
DIV#workspace_footer_text A { color: #888888; }