@charset "UTF-8";

body {
	font-family: "Bookman Old Style", Century, Times, "Times New Roman", serif;
	line-height: 130%; 
	text-align: justify;
}

h1 {
	font-size: 200%;
	text-align: center;
	font-family: "Lucida Grande", "Chicago", "Arial", sans-serif;
	color: #ff8; 
	background-color: #14d;
	padding: 0.4em;
}

h2 {
	font-size: 140%;
	text-align: left;
	font-family: "Lucida Grande", "Chicago", "Arial", sans-serif;
}

p {
	margin-left: 2em; margin-right: 1em;
	text-indent: 1em;
}

span.level1 {
	font-size: 120%;
	font-family: "Lucida Grande", "Chicago", "Arial", sans-serif;
	line-height: 160%; 
}

span.level2 {
	font-size: 110%;
	font-family: "Lucida Grande", "Chicago", "Arial", sans-serif;
}

span.bold {
	font-weight: bold;
}

span.caution {
	color: red;
	font-family: "Bookman Old Style", Century, Times, "Times New Roman", serif;
	font-weight: bold;
}

span.notice {
	color: #07c;
}

div.subtitle {	
	font-size: 150%; 
	text-align: center;
	font-family: Bauhaus, "Lucida Grande", "Chicago", "Arial", sans-serif;
	padding: 1em;
}

div.jump {	
	font-size: 90%; 
	margin-top: 0.5ex;
	text-align: center;
	font-family: "Bookman Old Style", Century, Times, "Times New Roman", serif;
}

div.figure {
	margin-top: 1ex; margin-bottom: 1ex;
	text-align: center;
	padding: 1em;
}

div.link {
	margin-left: 4em; margin-top: 1ex; margin-bottom: 1ex;
	text-align: left;
	font-family: "Lucida Grande", "Chicago", "Arial", sans-serif;
}

div.tohome {
	font-size: 90%;
	text-align: right;
	margin-right: 2em;
	line-height: 150%; 
}

ul li {
	margin-bottom: 0.5ex;
}

dl dd {
	margin-bottom: 1ex;
}