/* -- general text styles -- */

body
{margin: 0 0 0 0; background-color: #fff}

body.main
{margin: 0 0 0 0; padding: 10px 10px 100px 10px; border: 1px solid #cdd}

div, table, li 
{font-size: 11px; font-family: helvetica}

div.title
{font-size: 30px; color: #f42; margin: 30px 10px 10px 10px}

div.subtitle
{font-size: 20px; color: #e06; margin: 10px 10px 10px 10px}

div.titletext
{font-size: 16px; color: #e37; margin: 10px 10px 10px 10px}


div.bodytitle
{font-size: 14px; color: #223; margin: 5px 5px 5px 5px}

div.bodytext
{font-size: 12px; color: #112; margin: 5px 5px 5px 15px}

div.hw, img
{font-size: 11px; color: #112; margin: 5px 5px 2px 15px}

hr.hw
{border: .01cm solid #eaa; margin: 12px 2px 2px 12px}

div.side
{font-size: 11px; color: #223; margin: 10px 10px 10px 10px}

pre
{font-size: 10px; color: #284; margin: 5px 5px 5px 15px}

hr
{border: .001cm solid #900; margin: 5px 10px 5px 10px}


/* -- link styles -- */

a:link 
{color: #c03; text-decoration: none}     /* unvisited link */

a:visited 
{color: #c03; text-decoration: none}  /* visited link */

a:hover 
{color: #00a; text-decoration: none}   /* mouse over link */

a:active 
{color: #c03; text-decoration: none}   /* selected link */