html {
	overflow-y: scroll;
}

body {
	background: url("/img/bgtex");
	color: black;
	font: 10pt sans-serif;
	margin: 5px 8px;
}

img {
	border: none;
}

a {
	color: black;
}

.vertdiv {
	background: url("/img/texpap");
	padding: 0.5em;
	margin: 2em 0;
}

.vertdiv h1 {
	font: bold 14pt serif;
}

.vertdiv h2 {
	font: bold 12pt serif;
}

.vertdiv h3 {
	font: italic 11pt serif;
	margin-left: .5em;
}

.vertdiv h4 {
	font: italic 10pt serif;
	margin-left: 1em;
}

.vertdiv>p {
	margin-left: 1em;
}

.vertdiv dl {
	margin-left: 1em;
}

th {
	border-bottom: thin solid black;
}

.divhead {
	margin: 0 1em;
	border-bottom: thin solid black;
}

dl dt {
	font-weight: bold;
}

.oid {
	background: white url(http://www.openid.net/login-bg.gif) no-repeat 0 50%;
	color: black;
	padding-left: 18px;
}

.done {
	text-decoration: line-through;
}

.trailer {
	text-align: center;
}