/* Allgemeine CSS-Angaben */
pre {
	margin-left	: 10%;
	margin-right	: 10%;
	padding		: 5px;
	padding-left	: 20px;
	border-width	: 0px;
	border-top-width: 2px;
	border-bottom-width: 2px;
	border-style	: solid;
	
}
body > div > a {
	clear		: both;
	float		: right;
	padding-right	: 20px;
	margin-bottom	: 5px;
}
body > div > a:first-letter {
	color		: black;
	font-weight	: bold;
}
body > p {
	text-align	: justify;
	padding-left	: 5%;
	padding-right	: 5%;
	text-indent	: 20px;
}
body > ul {
	margin-left	: 8%;
	margin-right	: 8%;
}
body > ol {
	margin-left	: 8%;
	margin-right	: 8%;
}
body > dl {
	margin-left	: 8%;
	margin-right	: 8%;
}
body > dl > dt {
	font-weight	: bold;
}
body > dl.cff > dt {
	font-family	: monospace;
}
dd > dl > dt {
	font-style	: italic;
}
body > table.menu {
	margin-left	: 5%;
	padding		: 3px;
	padding-right	: 15px;
	border-spacing	: 0px;
	margin-bottom	: 20px;
}
div.abstract {
	text-align	: center;
}
div.abstract h4 {
	text-align	: center;
	font-size	: x-large;
	text-indent	: 0px;
	margin-top	: 0px;
}
div.abstract h5 {
	font-size	: large;
}
div.abstract p {
	margin-left	: 10%;
	margin-right	: 10%;
	text-align	: justify;
}
div.var > div {
	border		: 1px solid black;
	border-left-width: 0px;
	float		: left;
	width		: 30px;
	height		: 25px;
	text-align	: center;
	vertical-align	: middle;
	font-family	: monospace;
	padding-top	: 5px;
}
div.var > div:first-child {
	border-left-width: 1px;
}

.opt {
	border-style	: dashed;
}
h1 {
	text-align	: center;
}
h3 {
	text-indent	: 20px;
	clear		: both;
}
h4 {
	text-indent	: 4%;
	clear		: both;
}
h4.opcode {
	text-indent	: 0px;
	font-family	: monospace;
	font-style	: italic;
	font-size	: large;
	font-weight	: normal;
	margin-right	: 10%;
	margin-left	: 10%;
}
h4.opcode a {
	text-decoration	: none;
}
h4.opcode a:visited {
	color		: blue;
}
h4.opcode a > em {
	color		: black;
	font-weight	: bold;
}
h4.letter {
	font-size	: xx-large;
	margin		: 0px;
	text-indent	: 20px;
	border		: 0px solid black;
	border-bottom-width: 2px;
}
p.AtoZ {
	text-align	: center;
}
p.AtoZ a {
	padding-left	: 3px;
	padding-right	: 3px;
}
p.footer {
	font-size	: small;
	font-family	: sans-serif;
}
p.footer img {
	border-style	: none;
	margin-right	: 20px; 
}
p.comment {
	font-style	: italic;
	width		: 80%;
	padding-left	: 20px;
	text-align	: justify;
}
p.comment > i:before { content:open-quote; }
p.comment > i:after { content:close-quote; }
p.here a {
	text-decoration	: none;
	padding-left	: 5px;
	padding-right	: 5px;
}

samp > code {
	padding		: 1px;
	padding-left	: 5px;
	padding-right	: 5px;
}
dfn > code {
	padding		: 1px;
	padding-left	: 5px;
	padding-right	: 5px;
	font-style	: normal;
}
table {
	empty-cells	: hide;	
}
table caption {
	font-weight	: normal;
	font-family	: serif;
}
table caption:first-line {
	font-weight	: bold;
}
table.opcodeindex {
	margin-right	: 10%;
	width		: 80%;
	margin-left	: 10%;
}
table.opcodeindex {
	font-family	: monospace;
}
table.opcodeindex th {
	font-family	: serif;
}
table.opcodeindex a {
	font-family	: monospace;
	font-style	: italic;
	text-decoration : none;
}
table.opcode {
	margin-right	: 10%;
	margin-left	: 10%;
	width		: 80%;
	text-align	: justify;
	margin-bottom	: 50px;
}
table.opcode th {
	width		: 20%;
	vertical-align	: top;
}
table.opcode td ul.forms {
	margin		: 0px;
	padding		: 0px;
	list-style-type : none;
}
table.opcode td ul.forms li {
	font-family	: monospace;
}
table.opcode td ul.forms li {
	font-style	: italic;
}
table.opcode dl dt {
	font-family	: monospace;
}
table.opcode td > div.form {
	float		: left;
	border		: 1px solid black;
	border-left-width: 0px;
	width		: 19%;
	height		: 16pt;
	margin		: 0px;
	text-align	: center;
	overflow	: hidden;
	font-style	: italic;
}
table.opcode td div.form:first-child {
	border-left-width: 1px;
	height		: 16pt;
	font-family	: monospace;
}
table.opcode td > div.form > em {
	font-weight	: bold;
}
table.opcode td > div  {
	border		: 1px solid black;
	border-top-width: 0px;
	width		: 76%;
	height		: 16pt;
	text-align	: center;
	font-family	: serif;
	font-style	: italic;
	overflow	: hidden;
}
table.opcode td > div.optional {
	border-style	: dashed;
}
table.opcode td > div.to {
	border-style	: none;
	font-style	: normal;
	background-image: url(arrow_down.png);
	background-position: center center;
	background-repeat: no-repeat;
}
table.opcode td > div.dot {
	color		: #AAAAAA;
	border-left-style: dashed;
	border-right-style: dashed;
}
table.opcode td > div.empty {
	border-style	: none;
}
table.opcode td > div.long {
	border-bottom-style: double;
	border-bottom-width: 3px;
}
table.opcode td > div.double {
	border-bottom-style: double;
	border-bottom-width: 3px;
}
table.opcode td div.short {
	margin-top	: 2pt;
	width		: 48%;
	background-image: url(sign_extended.png);
	background-repeat: no-repeat;
	background-position: left center;
	float		: left;
	height		: 12pt;
	border		: 0px solid #666666;
	border-right-width: 1px;
	padding-right	: 2%;
}
table.opcode td div.byte {
	margin-top	: 2pt;
	width		: 73%;
	background-image: url(sign_extended.png);
	background-repeat: no-repeat;
	background-position: left center;
	float		: left;
	height		: 12pt;
	border		: 0px solid #666666;
	border-right-width: 1px;
	padding-right	: 2%;
}
table.opcode td div.shortx {
	margin-top	: 2pt;
	width		: 48%;
	background-image: url(sign_cutted.png);
	background-repeat: no-repeat;
	background-position: right center;
	float		: left;
	height		: 12pt;
	border		: 0px solid #666666;
	border-right-width: 1px;
	padding-right	: 2%;
}
table.opcode td div.bytex {
	margin-top	: 2pt;
	width		: 73%;
	background-image: url(sign_cutted.png);
	background-repeat: no-repeat;
	background-position: right center;
	float		: left;
	height		: 12pt;
	border		: 0px solid #666666;
	border-right-width: 1px;
	padding-right	: 2%;
}
table.opcode td > div > code {
	font-style	: normal;
}
table.opcode td > div code:before {
	content		: " (";
}
table.opcode td > div code:after {
	content		: ")";
}

table.grid {
	border		: 1px solid black;
	border-right-width: 0px;
	border-bottom-width: 0px;
	border-spacing	: 0px;
	margin-left	: 20%;
	margin-right	: 20%;
	width		: 60%;
	empty-cells	: show;
}
table.grid caption {
	text-align	: center;
	margin-top	: 10px;
}
table.grid caption:before {
	content		: "Tabelle ";
	font-style	: italic;
}
table.grid caption a {
	font-style	: italic;
	margin-right	: 20px;
}
table.grid td {
	border		: 0px solid black;
	border-bottom-width: 1px;
	border-right-width: 1px;
	vertical-align	: top;
	padding-left	: 10px;
	padding-right	: 5px;
}
table.grid th {
	border		: 0px solid black;
	border-bottom-width: 2px;
	border-right-width: 1px;
}