/* stylesheet for screen,projection (no NN4) */

/*
	Formatting
*/


body {
	background-color: #036;
	color: white;
	font-family: verdana, helvetica, sans-serif;
}

/* set all to 0 */

/* font: mandrake/gentoo? /fedora hp? */

h1, h2, h3, h4, p, ul, li {
	margin: 0;
	padding: 0;
}

/* headings */

h1, h2, h3, h4 {
	margin: 10px 0px 10px 0px;
	background-color: transparent;
	color: black;
}

h1 {
	font-size: 130%;
	font-style: italic;
	letter-spacing: 2pt;
	margin: 0;
	padding: 0;
}

h2 {
	text-align: center;
	font-size: 140%;
	letter-spacing: 1pt;
}

h3 {
	font-size: 110%;
	letter-spacing: 1pt;
}

h4 {
	font-size: 120%;
	letter-spacing: 1pt;
}

/* text */

p, li {
	font-size: 100%;
}

#content {
	line-height: 150%;
}

#content p {
	margin: 7px 0px 8px 0px;
}

#content li li {
	margin-left: 20px;
}

#footer p {
	margin: 0;
	padding: 0;
}

/* links */

a:link {
	text-decoration: underline;
	background-color: transparent;
	color: blue;
}

a:visited {
	color: purple;
}

a:hover {
	color: red;
}

a:active {
	text-decoration: none;
	color: red;
}

/* nav */

#nav ul {
	margin: 0;
	padding: 0;
	list-style-type: none;
}

#nav li {
	margin: 0 0 1px 0;
}

#nav li a {
	display: block;
	padding: 5px 10px;
	width: 8em;
	color: white;
	background-color: #036;
	text-decoration: none;
}

#nav a:hover {
	color: white;
	background-color: #69C;
	text-decoration: none;
}

#nav ul ul li {
	margin: 1px 0;
}

#nav ul ul a {
	display: block;
	padding: 5px 5px 5px 30px;
	width: 7.05em;
	color: white;
	background-color: #369;
	text-decoration: none;
}

#nav ul ul a:hover {
	color: white;
	background-color: #69C;
	text-decoration: none;
}

#nav a.home {
	background-color: #900;
	font-weight: bold;
}

#nav a.home:hover {
	background-color: #c33;
}

/* misc */

abbr {
	border-bottom: 1px dotted #666;
	cursor: help;
	font-style: italic;
}

img {
border: none;
}

.welcome {
	text-align: center;
}

.imgblock {
	text-align: center;
	margin-bottom: 5px;
}

.invis, hr {
	display: none;
}

.lastchange {
	font-style: italic;
}

#welcome {
	text-align: center;
}

.noindex {
	font-style: italic;
}

.workInProgress {
	background-color: gray;
	font-size: 150%;
	text-align: center;
}

.toTop {
	text-align: center;
	border-bottom: 3px double black;
}

/* submenu */
#submenu {
	text-align: center;
	list-style-type: none;
	margin: 0;
	margin-bottom: 5px;
}

#submenu li {
	display: inline;
}

/* toc */
#toc {
	font-size: 1.2em;
	border-bottom: 3px double black;
	margin: 0;
	margin-left: 20px;
	padding-bottom: 5px;
}