/*
 * The UdS CS colors:
 * {026, 058, 107} = #1a3a6b;
 * {038, 116, 176} = #2674b0;
 * {109, 182, 218} = #6db6da;
 *
 * Old blue: #0256A2;
 */


body, h1, h2, h3, h4, h5, h6 {
	font-family: helvetica, arial, sans-serif;
	font-size: small;
}

.nowrap {
	white-space: nowrap;
}

.bar {
	border-bottom: 1px dotted #004974;
}

.nobar {
	border-bottom: none;
}

h1, h2, h3, h4, h5, h6 {
	color: #004974;
}

h1 {
	font-size: x-large;
}

h2 {
	border-bottom: 1px dotted #004974;
	font-size: medium;
	padding-top: 1em;
}

h3, h4 {
	font-size: small;
	padding-top: 0.5em;
}

pre, code, .code {
	font-family: monospace;
	font-size: x-small;
}

body { 
	margin-left: 170px;
	width: 800px;
}

a:link {
	color: #004974; 
	text-decoration: none;
}

a:visited {
	color: #333399;
	text-decoration: none;
}

dl {
	 padding: 0.5em;
} 

dt {
	 float: left;
	 clear: left;
	 width: 100px;
	 text-align: right;
	 font-weight: bold;
}

dd {
	 margin: 0 0 0 110px;
	 padding: 0 0 0.5em 0;
}

table {
	border: 0;
}

th {
	text-decoration: bold;
	padding: 4px;
	background-color: #cccccc;
}

tr {
	background-color: #f4f4f4;
	vertical-align: top;
}

td {
	padding: 4px;
}

table.clean {
	border: 0;
}

table.clean tr th {
	text-decoration: bold;
	padding: 4px;
	background-color: #ffffff;
}

table.clean tr {
	text-decoration: bold;
}

table.clean tr td {
	padding: 4px;
	background-color: #ffffff;
}

a:hover {
	text-decoration: underline;
}

#header {
	margin-left:9px;
}

#header a, #header a:link, #header a:visited {
	color:#000000;
}

#nav {
	position: fixed;
	left: 0px;
	top: 0px;
	width: 145px;
	background-color:#f4f4f4;
	margin: 0 1px 1px 1px;
	margin-color: black;
	min-height: 100%;
}

/* Main menu */
.vlist ul {
	display:block;
	list-style:none;
	margin:0 0 9px 9px;
	padding:0;
	width:140px;
	color: black;
}

.vlist ul li {
	line-height:1.4em;
	padding-bottom: 9px;
	text-align:left;
}

.vlist ul li ul {
	list-style-type: square;
	text-align:left;
}

.vlist ul li ul li {
	line-height:1.4em;
	padding:0;
	margin-left:4px;
	font-size:x-small;
}

.vlist ul li a:link, .vlist ul li a:visited, .vlist ul li a:hover, .vlist ul li a:active {
	text-decoration: none;
	font-weight: bold;
	color:#000000;
}

.vlist ul li ul li a:link, .vlist ul li ul li a:visited, .vlist ul li ul li a:hover, .vlist ul li ul li a:active {
	font-weight: normal;
}

 .vlist ul li ul li a:hover, .vlist ul li ul li a:active {
	text-decoration: underline;
}

#footer {
	font-size: xx-small; 
	position: fixed;
	bottom: 10px;
	left: 0px;
	width: 145px;
	text-align: center;
}

.statcounter {
	display: none;
}

.contact td {
	vertical-align: top;
	background-color: #fff;
	padding: 2px;
}


code, .code {
	color: #663366;
}

pre.code {
	margin-left: 1.5cm;
}

code.keyword, code.kw, span.keyword, span.kw {
	font-weight: bold;
}