body {
	padding-left: 2em;
	padding-top: 1.5em;
	padding-bottom: 5em;
	font-family: Helvetica, Arial;
	font-size: small;
	background-color: #f8f8f8;
	overflow-y: scroll; 
}



/* menu */
div.navigation {
	position: fixed;
	right: 30px;
	margin: 0;
	padding: 0 20 20 20px;
	width: 210px;
	color: white;
	background-color: #ffcc00;
}
p.nav_top { font-size: x-large; margin: 20 0 10 0px; }
p.nav_top2 { font-size: medium; }
p.nav_center-text { font-size: x-small; }
div.logo-fablab { padding: 10 0 20 0px; }
div.nav_bottom { font-size: 8px; }
img.cc { float: left; padding: 0 10 0 0px; }

.nav-link a:link { color: black; }     				
.nav-link a:visited { color: black; } 				
.nav-link a:hover { background-color: white; } 		
.nav-link a:active { color: black; } 				 


/* placement of the 'update text' on index page*/
div.update {
	position: absolute;
	bottom: 20%;
}



/* overall styling stuff */
div.content { margin-right: 300px; }

mark { 
	background-color: #cccccc;
	padding: 5 10 5 10px;
}

a { text-decoration: none; }

.content-link a:link { color: blue; }     				
.content-link a:visited { color: blue; } 				
.content-link a:hover { color: black; background-color: #ffcc00; } 		
.content-link a:active { color: black; } 

div.note {
	border-style:solid;
	border-width:1px;
	border-color:#ffcc00;
	background-color: #ffeda4;
	padding: 20px;
	width: 80%;
}

ul.special-padding {
	padding: 0 0 0 20px;
}

table, th, td {
	border: 0px solid black;
	font-size: small;
}

ul.numbers {
	list-style-type: decimal;
}

div.code {
	font-family: Helvetica, Arial;
	background-color: #cccccc;
	padding: 20px;
	width: 80%;
}