body {
	font-family: sans-serif;
}

h2 {
	padding-left: 1ex;
}

h3 {
	padding-left: 3ex;
}

p {
	padding-left: 4ex;
}

li {
	margin-left: 3ex;
}

dt {
	margin-top: 1ex;
	font-weight: bold;
	margin-left: 5ex;
}

dd {
	margin-left: 8ex;
}

.note {
	font-family: serif;
	color: #444444;
}

.open {
	background-color: #EEEEEE;
	border: thin dashed #000000;
}

.important {
	margin: 1ex;
	margin-left: 4ex;
	padding: 1ex;
	font-weight: bold;
	color: #DD0000;
	border: thin solid #DD0000;
}

a {
	text-decoration: none;
}

a.url {
	font-family: courier;
}