.text {  font-family: Verdana; font-size: 13px; font-style: normal; line-height: normal; font-weight: normal; font-variant: normal; color: #000000; background-color: #FFFFFF}

A  {text-decoration : none; color:black; font-family:verdana; font-size: 13px;}
A:hover {color: #FF6600; }.highlight {  color: #FF6600}
body {  font-family: Arial, Helvetica, sans-serif; color: #333333}
th {  font-weight: bold; color: #333333; background-color: #CED0DA}
.borderline {  border-color: black black black #000000; border-style: solid; border-top-width: 0px; border-right-width: 0px; border-bottom-width: 0px; border-left-width: 1px}
.debugerror {  font-family: Arial, Helvetica, sans-serif; font-size: 16px; background-color: #000000; width: 100%; border: 4px #FF0000 solid; text-align: center; color: #FF0000; font-weight: bold; text-decoration: blink}
.debuginfo { font-family: Arial, Helvetica, sans-serif; font-size: 16px; background-color: #000000; width: 100%; border: 4px #00CCFF solid; text-align: center; color: #00CCFF; font-weight: bold; text-decoration: blink }
.debugwarning { font-family: Arial, Helvetica, sans-serif;
		font-size: 14px; background-color: #000000;
		width: 100%;
		border: 2px #FF9900 solid;
		text-align: center;
		color: #FF9900;
		font-weight: bold }
.button {  font-family: Arial, Helvetica, sans-serif; color: #333333; background-color: #ecf3fa; border: 1px #ced0da solid}
.input { font-family: Arial, Helvetica, sans-serif; color: #333333; background-color: #ecf3fa; border: 1px #ced0da solid }
.input_area { font-family: Arial, Helvetica, sans-serif; color: #333333; background-color: #ecf3fa; border: 1px #ced0da solid }
.tab_error {  background-color: #FFCCCC; border: 1px #FF0000 solid}
.tab_ok { background-color: #CED0DA; border: 1px #6699FF solid}
.menu_top {  font-size: 12px; color: #333333; background-color: #CED0DA}
.mark_low {  color: #e0e0e0}
.td_small {  font-family: Arial, Helvetica, sans-serif; font-size: 10px}
.button_red { font-family: Arial, Helvetica, sans-serif; color: #333333; background-color: #FF9999; border: 1px #ced0da solid }
.tab_line_1 { background-color: #FFFFFF; border: solid; filter: Invert }
.tab_line_2 { background-color: #f0f4fa; border: solid; filter: Invert }
.tab_action { background-color: #CED0DA; border: 1px #6699FF solid }
.tab_info { background-color: #F1F3FE; border: 1px #6699FF solid }
.tab_line_3 { background-color: #e0e4ea; border: solid; filter: Invert }
.menu_head { font-weight: normal; color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: 16px}