* styles.css */
/* An external style sheet */

body
{
font-size:100%;
font-family:verdana,arial,'sans serif';
background-color:#FFFF80;
color:#000080;
margin:10px;
}


a:hover	{ text-decoration: underline;
	  color: red ;
	  background-color: yellow; }

A:visited { color: maroon }
A:active { color: fuchsia }

p	{ text-align: justify; }

.theorem {color: green; }

pre { color: blue; }

span.readings { color: #FF66FF }

span.important { color: magenta; font-size: 18; font-weight: bold; }

span.keyword { color: green; font-size: 18; font-weigh: bold; }