:link { color: #003366; }
:visited { color: #0099CC; }
:active { color: #003366; }
:hover { color: #333366; } /* when mouse is over link */

body { margin-left: 7%; margin-right: 3%; color: black; background: white; 
	 font-family: "Times New Roman CE", serif ; }

h1,h2,h3,h4 { font-family: "Times New Roman CE", serif; }
h1 { font-size: 144%; text-align: center; font-weight: bold; 
	margin-top: 2ex; margin-bottom: 1ex; }
h2.kap { text-align: center; font-weight: bold; font-size: 120%;
		margin-top: 2ex; margin-bottom: 1ex; }
h3.sec { margin-top: 1ex; margin-bottom: 0.5ex; margin-left: -4%;
	font-size: 100%; font-weight: bold; }
h4.sub { margin-top: 1ex; margin-bottom: 0.5ex; margin-left: 0%;
	font-size: 100%; font-style: italic; text-decoration: underline; 
	font-weight: normal; }

pre { font-family: monospace; }

div.prog { color: #009900; font-size: 80%; margin-top: 0.5ex; 
	margin-bottom: 0.5ex; font-family: "Courier New CE", monospace; 
	white-space: nowrap; }
div.out { color: #3333FF; font-size: 80%; margin-top: 0.5ex; 
	margin-bottom: 0.5ex; font-family: "Courier New CE", monospace; 
	white-space: nowrap; }
div.warn { color: #3366FF; font-size: 80%; margin-top: 0.5ex; 
	margin-bottom: 0.5ex; font-family: "Courier New CE", monospace; 
	white-space: nowrap; }

span.emph { color: #000099; font-weight: bold; }
span.dulez { color: #CC0000; }
span.prog { color: #009900; font-size: 80%; font-family: monospace; }
span.menu { color: #000099; font-family: Arial, sans-serif;  }
span.black {color: black}
span.jakott { font-family: monospace; }
em { font-style: italic; }
strong { font-weight: bold; }

p {margin-top: 0.5ex; margin-bottom: 0ex} 
div.indent {margin-left: 2em; }
div.center {text-align: center; }

table { margin-top: 1ex; margin-bottom: 1ex; }
table.small { font-size: 80%; margin-top: 1ex; 	margin-bottom: 1ex; }
table.prog {margin-top: 0em; margin-bottom: 0em; }