*, html {
	margin:0;
	padding:0;
}
body {
        font-family:verdana,arial,sans-serif;
	font-size:80%;
	margin:20px 0 40px 20px;
	background-color:#f8f8f8;
}
h1 {
	width: 800px;
	/* border-bottom: solid 1px #bbb; */
	font-size:140%;
	margin: 0 0 10px 0;
	/* padding: 4px 0 4px 0; */
	/* background-color: #e8e8e8; */
}
h2 {
	font-size:100%;
	margin: 0 0 10px 0;
}
li {
	margin: 5px 0 0 20px;
}
ul {
	margin: 0 0 10px 10px;
	padding-left:0px;
}
.explanation {
	margin:7px 0 20px 17px;
	/* font-style: italic; */
}
.applet {
	margin:5px 0 3px 0;
	border: solid 2px #bbb;
}
a:link    { text-decoration:none;      color:blue; }
a:visited { text-decoration:none;      color:blue; }
a:hover   { text-decoration:underline; color:blue; }