@CHARSET "ISO-8859-1";
body, #workspace {
background-color: rgb(33,51,95);
}

#content {color: white;}