body {
	background-color : #99ccff; 
	color: black;
	text-align: left;
	line-height: 150%; 
	}
div.body {
	margin: 5% 5% 2%;
	padding: 4px 8px;
	background-color : white; 
	}
h1,h2,h3,h4,h5,h6 {
	clear: both;
	}
h1 {
	font-size : 100%;
	font-weight : normal;
	margin: 2px 0em 10px;
	}
h2 {
	font-size: 120%;
	font-weight: normal;
	color: navy;
	margin: 0em;
	}
h2 a:link, a:visited {
	color: navy;
	}
h3 {
	margin: 1em 0em 0em;
	font-size: 100%;
	font-weight: bold;
	}
h4 {
	margin: 0.5em 0em 0em;
	}
p {
	margin : 0.5em 0em;
	}
.comment {
	margin: 0.5em 0em 0.5em 1em;
	}
address {
	margin: 0em 5%;
	text-align: right;
	font-style: normal;
	}
p.navi {
	margin: 0em;
	text-align: center;
	}
pre {
	font-size: 100%;
	}
hr {
	height: 1px; 
	clear : both;
	}
dl {
	margin: 0em;
	}
ol {
	margin : 0em 0em 0em 2em; 
	}
th,td {	
	vertical-align: top;
	}

big {	font-size: 120%; }
small {	font-size: 80%; }
em {
	color: red;
	font-style: normal;
	}
.right {	text-align : right;}
.center {	text-align : center;}
.blue {	color: blue; }
.navy {	color: navy; }
.none {	display: none; }
.submit_button {
	margin: 1em 0em 0em 20%;
	line-height: 1.5em;
	}
.date {
	font-size: 80%; 
	}
.contributed {
	margin : 0em;
	text-align: right;
	}
.referer_url {
	margin: 0em 0em 0em 1.5em;
	font-size: 80%; 
	}
#homepage {
	float: right;
	border: none;
	}

ul {
	margin : 0em; 
	}
ul li {
	margin : 0em; 
	}
ul.index li {
	color: navy;
	list-style-type: none; 
	}
dt {
	font-weight: normal;
	}
dd.inline {
	margin: -1.5em 0em 0em 3.2em;
	}
dd {
	margin: 0em 0em 0em 3.5em;
	}
dd.notinline {
	margin: 0em 0em 0em 3.5em;
	}
.timetable dd {
	margin: -1.5em 0em 0em 6.5em;
	}
ol. li {
	margin : 0em;
	list-style-type: decimal;
	color: black;
	}
img.books {
	float:right;
	margin:0.7em;
	}