body { 
	font-family: sans-serif, ariel; 
	font-style: normal;
	font-size: medium;
	color: black;
	background-color: #EEF0F4;
}

a { 
	color: blue;
	text-decoration: none; 
}
a.hover { color: red; }

# Menu at top of page
a.nav { text-decoration: none; }
a.nav:link { color: black; }
a.nav:visited { color: black; }
a.nav:active { color: blue; }
a.nav:hover { color: blue; }

# Side menu
a.menu { text-decoration: none; }
a.menu:link { color: navy; }
a.menu:visited { color: navy; }
a.menu:active { color: blue; }
a.menu:hover { color: blue; }

div.NB {
	background-color: #D8DAED;
	border: dashed 1px black;
	width: 60%;
	padding-left: 2em;
	padding-right: 2em;
	position: relative;
	left: 10%;
}

div.example {
	font-family: courier, monospace;
	white-space: pre;
	background-color: white;
	border: solid 0px black;
	width: 80%;
	padding-left: 2em;
	padding-right: 2em;
	position: relative;
	left: 5%;
}