/* common style sheet for Well-designed web sites */

/* FIXME: requires major cleanup */

body {
	position: absolute;
	margin: 0 0 0 0;
	padding: 0 0 0 0;
	min-height: 100%;

	background-color: rgb(200,200,230);
	font-family: serif;
}

.body {
	color: rgb(0,0,0);
	background-color: white;
	margin: 0 7% 0 7%;
	padding: 0 2em 0 2em;
	border-left: solid rgb(128,128,128) thin;
	border-right: solid rgb(128,128,128) thin;
	min-height: 100%;
}

/* Hyperlinks */
:link {
	color: rgb(  0,  0,150);
	background-color: transparent;
}
:visited {
	color: rgb(090,  0,090);
	background-color: transparent;
}
a:active, a:focus {
	color: rgb(150,  0,  0);
	background-color: transparent;
}

/* Reset heading styles */
h1, h2, h3, h4, h5, h6 {
	font-weight: normal;
	font-style: normal;
	text-align: left;
	color: rgb( 58, 58,156);
	background: transparent;
}

h1 {
	font-size: 20px;
	font-weight: bold;
	text-align: center;
	margin-top: 0;
	margin-bottom: 2em;
	padding-top: 0.5em;
	color: rgb( 49, 49, 86);
}

h2 {
	font-size: 150%;
}

h3 {
	font-size: 115%;
}


.fixme {
	font-size: small;
	font-family: sans-serif;
	color: rgb(120,120,120);
	background-color: transparent;
}

.section {
	border-top: dashed rgb(90,90,128) thin;
	padding-left: 1em;
	padding-right: 1em;
}

.intro {
	padding-left: 1em;
	margin-bottom: 1em;
}

.intro h2 {
	margin: 0 0 0 0;
	padding: 0 1em 0.3em 0;
	float: left;
}

.intro p {
	font-size: 110%;
	margin-top: 0.2em;
	margin-bottom: 0.2em;
}



ol, ul, dl {
	padding-left: 2.5em;
}

ol {
	list-style-type: decimal;
}
li ol {
	list-style-type: lower-alpha;
}
li li ol {
	list-style-type: lower-roman;
}


li li { /* list items in nested lists */
	margin-bottom: 0em;
}

.section > ol > li { /* list items in first-level nested lists */
	margin-top: 0.6em;
	margin-bottom: 0.6em;
}

dt {
	display: list-item;
	list-style-type: circle;
	font-weight: bold;
	font-size: 105%;
}
dt a {
	font-weight: normal;
}


.footer {
	text-align: right;
	font-size: 85%;
	border-top: solid rgb(128,128,128) thin;
	font-family: sans-serif;
	margin-top: 2em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
}

.footer p {
	margin-top: 0;
	margin-bottom: 0;
}