/* Optionale allgemeine CSS-Angaben zur Aktualisierung des Designs an heutige Standrards*/
body {
	margin-top	: 0px;
	padding-top	: 0px;
	margin-bottom	: 0px;
	padding-top	: 0px;
}

body > div > a {
	padding		: 2px;
	padding-left	: 4px;
	padding-right	: 4px;
}

body > table.menu {
	border-style	: solid;
	border-width	: 1px;
	font-weight	: bold;
}
body > table.menu a {
	font-weight	: normal;
}
body > table.menu td > ol:before {
	content		: "Abschnitte:";
}
body > table.menu td > ol.I {
	list-style-type : upper-roman;
}
body > table.menu td > ol.I:before {
	content		: "Kapitel:";
}
body > table.menu td > ol > li > ul {
	list-style-type : square;
}
h1 {
	text-align	: left;
	border-width	: 0px;
	border-style	: solid;
	border-bottom-width: 1px;	
	text-indent	: 20px;
}

h2 {
	text-align	: center;
	vertical-align	: middle;
	margin		: 0px;
	padding		: 0.5em;
	font-style	: italic;
}

h3 {
	text-indent	: 20px;
	border-width	: 0px;
	border-style	: solid;
	border-bottom-width: 1px;	
}

h3 a {
	font-size	: larger;
	margin-right	: 10px;
}

h4.opcode {
	border-width	: 0px;
	border-style	: solid;
	border-bottom-width: 2px;
	margin-bottom	: 20px;
}

h4.storage:before {
	content: url(storage.png);
}
p.footer {
	margin-top	: 0px;
	margin-bottom	: 0px;
	padding		: 5px;
	text-align	: right;
	padding-right	: 20px;
}

p.here {
	margin		: 0px;
	padding		: 1px;
	padding-left	: 50px;
	padding-top	: 0.3em;
	padding-bottom	: 0.3em;
	border-style	: none;
}

table.opcodeindex {
	border-width	: 1px;
	border-style	: solid;
	border-spacing	: 2px;
}
table.opcodeindex th {
	border-width	: 0px;
	border-style	: solid;
	border-bottom-width: 1px;
	padding-left	: 2px;
	padding-right	: 2px;
}
table.opcodeindex td {
	border-width	: 0px;
	border-style	: solid;
	border-bottom-width: 1px;
}

table.opcode {
	border		: 0px solid black;
	border-spacing	: 4px;	
}
table.opcode td {
	border		: 0px solid black;
}
table.opcode th {
	border		: 0px solid black;
	text-align	: left;
}