body {
    background: white;  
	color: black;
}

H5.finish {
   color : blue;
}

table td { vertical-align : top;}

DIV.navbar { align : center; }

div.achtung {
/*   background : cyan;  */
}

div.technical {
/*   background : lime;  */
}

div.utilityusage {
    width: 100%;
/*   border : solid red; */
}

div.utilityexample {
    width: 100%;
/*	border : solid yellow; */
}

div.subtoc {
    padding: 1em; 
	border: solid thin; 
	margin: 1em 0;
    background: #ddd
}

div.emp-sample {
    width: 80%;
    border: none;
    background-color: #eee;
}
pre.emp-sample {
    margin-left: 0; 
}

div.general-view {
   font-size:small;
}