/* Farb-CSS-Angaben fuer Bildshirme */
pre {
	background-color: #F4F4F4;
	border-color	: #D0D0D0;
}
pre > code b {
	color		: #9A138B;
}
pre > code > i {
	color		: #397A00;
}
pre > code > em {
	color		: #2E07B0;
}
body > div > a {
	background-color: black;
	background-image: url(here_back.png);
	background-repeat: repeat-x;	
	color		: #C5A77E;
	text-decoration	: none;
}
body > div > a:first-letter {
	color		: white;
}
body > div > a:hover {
	color		: white;
}

body > table.menu {
	background-color: #F4F4F4;
	border-color	: #D0D0D0;
}

h1 {
	border-color	: #D0D0D0;
	background-color: #E4E4E4;
}

h2 {
	color		: #444444;
	background-color: #B48759;
}

h3 {
	border-color	: #D0D0D0;
	background-color: #E4E4E4;
}

p.footer {
	color		: #444444;
	background-color: #C39E6A;
}

p.here {
	background-color: black;
	background-image: url(here_back.png);
	background-repeat: repeat-x;	
	color		: white;
}
p.here a {
	color		: #C5A77E;
}
p.here a:hover {
	color		: white;
}

samp {
	background-color: #F0EACC;
}
dfn > code {
	background-color: #ECF1DF;
}

table.opcodeindex {
	border-color	: black;
}
table.opcodeindex th {
	background-color: #E4E4E4;
	border-color	: #D0D0D0;
}
table.opcodeindex td {
	background-color: #F4F4F4;
	border-color	: #E0E0E0;
}

table.opcode td > div.to {
	color		: black;
}