@charset "UTF-8";

html, body {
	display: block;
	height: 100%;
	margin: 0;
	padding: 0;
	border: none 0;
}

body {
	font-family: "Lucida Bright", Times, Century, serif;
	line-height: 145%; 
	text-align: justify;
}

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

h2 {
	margin-top: 2.5ex;
	margin-left: 10%; margin-right: 10%;
	font-size: 125%;
	font-family: "Lucida Grande", Helvetica, Arial, sans-serif;
	text-align: center;
	background-color: #fdc;
	padding: 0.3em;
}

h3 {
	margin-left: 0.7em; margin-right: 1em;
	font-size: 115%;
	text-align: left;
	font-family: "Lucida Grande", Helvetica, Arial, sans-serif;
}

h4 {
	margin-left: 0.7em; margin-right: 1em;
	font-size: 105%;
	text-align: left;
	font-family: "Lucida Grande", Helvetica, Arial, sans-serif;
}

.uipart {
	background-color: #bfd;
	padding: 0.3em;
}

.subuipart {
	color: green;
	padding: 0.em;
}

p {
	margin-left: 1em; margin-right: 1em; margin-top: .7ex; margin-bottom: .7ex;
	text-indent: 1em;
}

.continued {
	text-indent: 0em;
}

.indented {
	margin-left: 3em; margin-bottom: -0.7ex;
	text-indent: -1.7em;
}

.indented2 {
	margin-left: 3em; margin-bottom: -0.7ex;
	text-indent: -1.7em;
	text-align: left;
}

.quoted {
	margin-left: 4em;
}

hr {
	margin-top: 1em; margin-bottom: 1em;
	text-align: left;
	width: 90%
}

ul {
	margin-left: 0em; margin-right: 1em;
}

ul li {
	margin-bottom: 0.5ex;
}

ol {
	margin-left: 0em; margin-right: 1em;
}

ol li {
	margin-bottom: 0.5ex;
}

dl {
	margin-left: 1em; margin-right: 1em;
}

dl.quote {
	margin-left: 3em; margin-right: 1em;
}

dl dt {
	margin-bottom: 0.5ex;
	font-family: "Lucida Grande", Helvetica, Century, sans-serif;
	font-weight: bold;
}

dl dd {
	margin-bottom: 0.8ex;
}

address {
	font-size: 90%;
	text-align: right;
	font-family: "Lucida Grande", Arial, sans-serif;
	font-style: oblique;
	margin-right: 2em;
	line-height: 150%; 
}

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

div.maintitle {
	font-size: 180%;
	text-align: center;
	font-family: "Lucida Grande", Helvetica, Century, sans-serif;
	font-weight: bold;
	color: #14d; 
	background-color: #ffc;
	padding: 0em;
}

div.subtitle {
	font-size: 140%; 
	text-align: center;
	font-family: "Lucida Grande", Helvetica, Century, sans-serif;
}

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

div.tips {
	margin-left: 1em; margin-right: 1em;
	margin-top: 1ex; margin-bottom: 1ex;
	border-style: solid;
	border-color: cyan;
	padding: .2em;
}

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

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

.bold {
	font-family: "Lucida Grande", Helvetica, Century, sans-serif;
	font-weight: bold;
}

.italic {
	font-family: "Lucida Bright", Times, "Times New Roman", serif;
	font-style: italic;
}

.footnote {
	font-size: 75%;
	font-family: "Lucida Grande", Helvetica, Century, sans-serif;
}

.toctitle {
	font-family: "Lucida Grande", Arial, sans-serif;
	font-weight: bold;
}

.caution {
	font-weight: bold;
	color: red;
}

.notice {
	color: #860;
}

.variable {
	font-family: 'Lucida Bright', Times, 'Times New Roman', sans-serif;
	font-style: italic;
}


.rootlevel {
	list-style-type: none;
	line-height: 400%;
}

.vcenter {
	vertical-align: top;
}

.center {
	text-align: center;
}

.right {
	text-align: right;
}