@CHARSET "ISO-8859-1";

body
{
background: #536677;	
}


div.highlight_panel
{
background: #A6D7FC;
}