/* general.css */
body {
	margin-top: 30px;
	margin-left: 10px;
	margin-right: 10px;
	margin-bottom: 20px;
	padding: 00px;
	font-family: Arial, Verdana, Helvetica, sans-serif;
	font-size: 13px;
	background-color: white;
}

div, a, img, form, hr, table, pre {
	padding: 00px;
	margin: 00px;
}

ol, ul, li {
	padding: 00px;
	margin-left: 1em;
	margin-right: 1em;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

pre {
	width: auto;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding: 0.5em;
	border: dashed 1px #bbbbbb;
	background-color: #eeeeee;
}

img {
	border: none;
}

a {
	color: #336699;
	text-decoration: none;
}

a:hover {
	color: #910000;
	text-decoration: none;
}

a.button {
	font-size: 12px;
	background: #cccccc;
	padding: 3px;
	margin: 3px;
	border: solid 1px black;
}

h1 {
	font-size: 17px;
	color: #910000;
	border-bottom: solid 3px #910000;
	margin-top: 20px;
}

h2 {
	font-size: 15px;
	color: #910000;
}

h3 {
	font-size: 13px;
	color: #910000;
}