@charset "utf-8";

body {
	font-family: sans-serif;
	margin: 0px;
	border-left: 4px solid silver;
	border-right: 4px none transparent;
	padding-left: 16px;
	padding-right: 16px;
}

h1 {
	margin-top: 0px;
	margin-left: -16px;
	margin-right: -16px;
	padding-top: 2px;
	padding-left: 8px;
	background-color: silver;
	border-bottom: 2px solid gray;
	text-align: left;
	font-size: medium;
	text-shadow: 1px 1px 0px white;
}

h2 {
	text-align: center;
	font-size: large;
	border-bottom: 1px solid lightgray;
}

h3 {
	font-size: medium;
}

div.error {
	border: 2px solid red;
	background-color: LightGrey;
}

.subtitle {
	margin-top: 0.5ex;
}

.detail {
	font-size: smaller;
}