body {
}
a {
	color: #d00;
}
a:hover {
	background: #d00;
	color: #fff;
	text-decoration: none;
}

#contents {
	margin: 0em 4em;
	padding: 1em;
	background: #f7f7f7;
	border: 1px solid #aaa;
}

h1 {
	margin-top: 0em;
	font-family: sans-serif;
	font-size: 1.5em;
}

h2 {
	font-family: sans-serif;
	font-size: 1.25em;
	font-weight: normal;
}

h3 {
	font-family: sans-serif;
	font-size: 1em;
}

li {
	margin-bottom: 0.5em;
}

code {
	font-weight: bold;
}

p.text:first-letter {
	font-size: 1.5em;
}

strong {
	font-family: sans-serif;
	font-size: 0.9em;
}

p.definitions {
	background: #ddd;
	border: 1px dashed #777;
	margin: 1em 2em;
	padding: 1em;
}

p.definitions code {
	font-weight: normal;
}

form {
	padding: 0.5em;
	background: #eee;
	border: 1px solid #ccc;
}
label {
	width: 11em;
	display: block;
	float: left;
	font-weight: bold;
	text-align: right;
	margin-right: 0.5em;
	white-space: nowrap;
}
input {
	border: 1px solid #777;
	margin: 2px;
}
input[type=submit] {
	background: #ccc;
}


table {
	border: 1px solid #aaa;
}
th {
	background: #ddd;
}
table form {
	margin: 0em;
	padding: 0em;
	background: inherit;
	border: none;
}
table input {
	margin: 0px;
}


#footer {
	margin-top: 1.5em;
	font-size: small;
	text-align: center;
}