.NoDisplay {display:none;}
body {width:850px; font-size:small; margin:1em auto 0 10px; background-color:#D2E9FF }

div#RightSide {width:620px}

div#Nav p {
	width: 95px;
	margin:10px 0 0 0;
	padding: 1px;
}
div#Nav a {color:blue; text-decoration:none; border:1px #D2E9FF solid}
div#Nav a:hover {border:1px #0000FF solid}

div#Content {width:610px}
div#Content a {color: blue; text-decoration: none}
div#Content a:hover {color:red;	text-decoration:underline;}
div#Content .Highlight {background-color:#FFFF00}
div.Handout {font-size:medium; width:600px}