/* CSS definition file containing sitestyle stylesheets */
BODY { font-size: 10px; background-color: rgb(0,0,128);}