body {
	background-color: #900000;
	font-family: "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif;
	padding-top: 3%;
	padding-bottom: 3%;
	padding-left: 10%;
	padding-right: 10%;
	margin: 0px;
}

div.body {
	background: #ffffff;
	padding-top: 1em;
	padding-bottom: 2em;
	padding-left: 2em;
	padding-right: 2em;
	border-color: #203070;
	border-width: 1px;
	border-style: solid;
}

div.head {
	padding-bottom: 2em;
}

h1, h2, h3, h4 {
	color: #203070;
	font-style: normal;
	font-weight: normal;
	margin-top: 0.7em;
	margin-bottom: 0.3em;
	text-decoration: none;
}

h1 {
	color: #f00000;
	font-family: Gentium, "Palatino Linotype", Cambria, Georgia, serif;
	font-size: 1.8em;
	font-size-adjust: 0.47;
	font-weight: bold;
	font-variant: small-caps;
	margin-bottom: 0.7em;
}

h2 {
	font-size: 1.4em;
}

h3 {
	font-size: 1.1em;
}

h4 {
	font-size: 1em;
	font-style: italic;
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	margin-left: 1em;
}

p {
	margin-top: 0.2em;
	margin-bottom: 0.5em;
	margin-left: 1em;
}

p.from {
	font-style: normal;
	margin-left: 7em;
}

a {
	text-decoration: none;
}

a.file {
	margin-left: 0.5em;
	font-variant: small-caps;
}

a:link {
	color: #703090;
}

a:visited {
	color: #900000;
}

a:hover {
	color: #f00000;
}

ul, ol {
	margin-top: 0.2em;
	margin-bottom: 0.5em;
	margin-left: 0.2em;
}

li > p {
	margin-left: 0.2em;
}

blockquote {
	margin-top: 0.2em;
	margin-bottom: 0.5em;
	margin-left: 2em;
	font-family: "Palatino Linotype", Cambria, Georgia, serif;
	font-style: italic;
	font-size-adjust: 0.47;
}

em.quote {
	font-style: normal;
}

hr {
	color: #203070;
	border-style: solid;
}

dl {
	margin-top: 0.2em;
	margin-bottom: 0.5em;
	margin-left: 1em;
}

a.barlink:link {
	color: #ffffff;
}

a.barlink:visited {
	color: #eeccff;
}

a.barulink:visited {
	color: #ff7777;
}

a.barlink:hover, a.barulink:hover {
	color: #ffff88;
}

.barlink, .barulink {
	color: #ff7777;
	-background-color: #bbbbbb;
	margin-right: 1em;
	font-variant: small-caps;
	font-weight: bold;
}

span.indent {
	margin-left: 2em;
}

.sc {
	font-variant: small-caps;
}

span.star {
	/* font-family: "Georgia Ref", "MS Reference Serif", serif; */
	font-size: 0.8em;
	font-weight: normal;
}

span.ord {
	text-decoration: underline;
}

span.life {
	font-size: 0.82em;	/* 0.9em */
	margin-left: 0.5em;
	margin-right: 0.5em;
}

span.and {
	font-size: 0.9em;
	margin-right: 0.5em;
}

span.size {
	font-size: 0.9em;
	margin-left: 0.5em;
}