@media screen
{
body
{
	margin-left: 2%;
	margin-right: 2%;
	line-height: 3ex;
	background-color: #fff;
}
div.body
{
	width: 58em;
	background-color: #fff;
	padding: 1em;
}

}

@media print
{
.screen
{
	display: none;
}
.anchor
{
	display: none;
}
div.margin
{
	display: none;
}

}


body
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: 84%;
	color: #000;
}

td, th
{
	font-size: 84%;
}

/************ Überschriften *********
*/
h1
{
	color: #338;
	padding-left: 3px;
	font-weight: bold;
	font-size: 83%;
	margin-top: 0ex;
	margin-bottom: 0ex;
}
h1 a
{
	color: #338;	
}

h2
{
	font-size: 180%;
	font-weight: normal;
	font-style: italic;
	margin-top: 5px;
	margin-bottom: 5px;
}

h3
{
	font-size: 133%;
	font-weight: normal;
	margin-bottom: 0ex;
}

h4
{
	font-size: 110%;
	font-weight: bold;
	margin-top: 0ex;
	margin-bottom: 0ex;
}

h5
{
	font-size: 100%;
	font-weight: bold;
	margin-top: 4ex;
	margin-bottom: 0ex;
}

.sbh
{
	font-weight: bold;
	color: #555;
	background-color: #ddd;
	width: 50%;
	padding-left: 0.3em;
	padding-right: 0.3em;
}

.header
{
	text-indent: 0.3em;
	background-color: #E8E8F8;
	color: #448;
}

/************ Divs *********
*/
div.box
{
	margin-top: 3ex;
	margin-bottom: 2ex;
	margin-left: 2em;
}

div.anchor
{
	position: relative;
	left: 0px;
}

div.marginheading
{
	position: absolute;
	left: 810px;
	width: 300px;
	font-size: 80%;
}
div.margincomment
{
	position: absolute;
	left: 810px;
	width: 300px;
	font-size: 80%;
	background-color: #ffe;
	border: 1px solid gray;
}

/************ Absätze *********
*/
p
{
	margin-top: 1ex;
	margin-bottom: 1ex;
}

p.abst
{
	line-height: 1ex;
	margin-top: 0ex;
	margin-bottom: 0ex;
}

p.abstvor
{
	margin-top: 2.5ex;
}

.ind
{
	margin-left: 2em;
}

p.line1
{
	text-indent: -2em;
}

address
{
	font-family: 'Times New Roman', Times, serif;
}

img
{
	border: none;
}

.footnote
{
	font-size: 80%;
}


/************ Listen *********
*/
ul, ol
{
	margin-top: 1.5ex;
	margin-bottom: 2ex;
	padding-left: 1.5em;
}

li
{
	margin-top: 1ex;
	margin-bottom: 1ex;
}

ol.non
{
	margin-left: 0.3em;
	margin-top: -0.2em;
}

ol.dec, ol.low
{
	margin-left: 2em;
	margin-top: -0.2em;
}


/************ Inline und Spans *********
*/
var
{
	font-family: 'Times New Roman', Times, serif;
	font-size: 120%;
}
tt var
{
	font-family: Courier, 'Courier New', monospace;
	font-style: normal;
	font-size: 110%
}

b
{
	color: #555;
}

q
{
	font-family: 'Times New Roman', Times, serif;
	font-size: 100%;
}

small
{
	font-size: 70%;
}

span.def
{
	font-weight: bold;
}

span.person
{
	font-variant: small-caps;
}

span.di
{
	text-decoration: underline;
}

span.expl
{
	color: #008;
}

span.inactivelink
{
	text-decoration: underline;
	color: gray;	
}

span.nonterminal
{
	font-style: italic;
	color: #FF6600;
}

span.metasymbol
{
	color: #00aa00;
}

acronym.abk
{
	border-bottom: 1px dotted #BBB; 
}

span.fhf
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: 20px;
	font-weight: bold;
}

span.fhh
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: 28px;
	font-weight: bold;
	color: gold;
}

img.relimpl
{
	position: relative;
	top: 1em;
	left: 0.3em;
}

.red
{
	color: red;
}

.blue
{
	color: #0000c0;
}

.grammar .red
{
	color: #b00000;
}

.grammar .blue
{
	color: #000080;
}


/************ Links *********
*/
address a, td.bookad a, .trailer a, h1 a
{
	text-decoration: none;
}

a.button
{
	background-color: #EEE;
	color: black;
	padding-left: 10px;
	padding-right: 10px;
	padding-top: 2px;
	padding-bottom: 2px;
	border: 1px solid darkgray;
	text-decoration: none;
	position: relative;
	top: -3px;
}

/************ Code *********
*/
.code
{
	background-color: #EEE;
	padding-left: 15px;
	padding-right: 5px;
	padding-top: 5px;
	padding-bottom: 8px;
}

th.codeheading
{
	font-weight: bold;
	color: #555;
	background-color: #ddd;
	padding: 3px;
}

span.codetag
{
	background-color: #ccddee;
	border: 0px;
	font-size: 83%;
	padding: 3px;
}

span.cd
{
	background-color: #EEE;
	padding: 3px;
}

.java, .c, .javascript, .pascal, .vb, .python, .haskell
{
	font-family: Courier New, monospace;
}

.html, .php, .sql
{
	font-family: Verdana, Arial, sans-serif;
}

.codekeyword
{
	font-weight: bold;
	color: blue;
}

.sql .codekeyword
{
	color: darkred;
	font-weight: normal;
}

.haskell .codekeyword
{
	color: darkviolet;
}

.codefunction
{
	color: darkred;
	font-style: italic;
}

.codetype
{
	font-weight: bold;
	color: #a44;
}

.htmltag
{
	color: blue;
}

.phptag
{
	color: red;
}

.phpkeyword
{
	color: darkred;
}

.phpfunction
{
	color: darkblue;
}

.htmlentity, .codecomment
{
	color: green;
}

span.hint
{
	border-bottom: 3px double red;
}

span.border
{
	border: 1px solid blue;
}

span.bold
{
	font-weight: bold;
	color: darkred;
}

span.mark
{
	background-color: #ff7;
}

/************ Tabellen *********
*/
th
{
	background-color: #EEE;
	font-weight: normal;
	text-align: left;
}

table.pattern
{
	margin-top: 1ex;
}

table.pattern th
{
	font-size: 70%;
	text-align: center;
}

table.pattern th.headcol
{
	font-size: 83%;
}

table.pattern td
{
	text-align: center;
}

table.border
{
	border-collapse: collapse;
}

table.border td, table.border th
{
	border: 1px solid gray;
}

td.code
{
	background-color: #EEE;
	padding-left: 15px;
	padding-right: 5px;
	padding-top: 3px;
	padding-bottom: 3px;
}

td.lit
{
	padding-left: 5px;
	padding-top: 0.5ex;
	padding-bottom: 0.5ex;
}

td.litref
{
	width: 100px;
	padding-left: 5px;
	padding-top: 0.5ex;
	padding-bottom: 0.5ex;
	vertical-align: top;
}

td.bez
{
	text-align: center;
	font-size: 71%;
	padding-top: 10px;
	padding-bottom: 10px;
}

td.logo
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	line-height: 13px;
}

td.bookad
{
	padding-left: 5px;
	padding-bottom: 0.5ex;
	background-color: #F0EAFF;
}

.trailer td
{
	padding-top: 5px;
	padding-bottom: 5px;
}


td.assertnumber
{
	color: #00A;
	padding-left: 18px;
	text-align: right;
}

td.impl
{
	position: relative;
	width: 1.5em;
}

/************ Steuerelemente *********
*/
textarea
{
	font-family: Arial, Helvetica, sans-serif;

}

/************ Spezial *********
*/
.gleich
{
	color: blue;
}

.fhlogo
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: 16px;
	font-weight: bold;
	color: #555;
}

.trailer
{
	background-color: #DDD;
	margin-bottom: 0ex;
	text-indent: 0.3em;
}

/* div.margin (Banner-Werbung für Web- und Softwaretechnologie) jetzt in banner.css */