/*
 * Common style sheet for all netboot web pages
 */


/* Page body */
body {
	color: rgb(0, 0, 0);
	background-color: rgb(208, 208, 255);
	margin-top: 30px;
	margin-bottom: 30px;
	margin-left: 20px;
	margin-right: 20px;
}


/* News inset */
td.news {
	background-color: rgb(192, 192, 192);
	border-style: ridge;
	border-width: small;
}


/* Impressum */
td.impressum {
	border-style: inset;
	border-width: thin;
}


/* Active links */
a:active {
	color: rgb(255, 0, 0); 
	text-decoration: none;
}


/* Visited links */
a:visited {
	color: rgb(0, 0, 128);
	text-decoration: underline;
}


/* Unvisited links */
a:link {
	color: rgb(0, 0, 255);
	text-decoration: underline;
}


/* Source documents */
.doc {
	font-family: "Courier New", "Lucida Console";
	font-style: normal;
	font-size: 10pt;
}


/* Formatting with top margin */
.margin {
	margin-top: 3em;
}


/* Numbered lists always have a small margin at top of list item */
ol li {
	margin-top: 1em;
}