/*
 * Soeren sein Style sheet.
 */

body {
    background: white;
    color: black;
    A:hover: #ffa500;
    A:visited: #800080;
}
div.example {
    width: 100%;
    color: black;
}
tt.example {
    color: maroon;
    margin-left: 1em;
}
pre {
    color: maroon;
    margin-left: 1em;
}
div.dtd-fragment {
    width: 100%;
    border: none;
    background-color: #eee;
}
h1.box {
    border-width: 1; border: solid; text-align: center
}
h1.main {
    text-align: center
}
h1.brown {
    color: #8b2323;
}
h1.maroon {
    color: #800000;
}
h2.box {
    border-width: 1; border: solid rgb(0,0,255); text-align: center
}
h2.centered {
    text-align: center
}
h2.subheading {
    color: #800000;
}
h3.item {
    color: #800000;
    text-align: center
}
h3.subheading {
    color: #800000;
}
pre.dtd-fragment {
    margin-left: 0;
}
pre.dtd {
    color: black;
    margin-left: 0;
}
div.illegal-example {
    width: 100%;
    color: red;
    border: solid red;
}
div.illegal-example p {
    color: black;
}
div.deprecated-example {
    width: 100%;
    color: red;
    border: solid rgb(255,165,0); /* orange */
}
div.deprecated-example p {
    color: black;
}
div.navbar {
    text-align: center
}
div.note {
    color: green;
    margin-left: 1em;
}
dt.ps {
    color: #8b2323;
}
p {
    margin: 1ex;
    text-align: justify
}
p.box {
    border-width: 1; border: solid; text-align: center
}
p.centered {
    text-align: center
}
p.dato {
    color: #800000;
    margin-right: 0.5ex;
    text-align: right
}
p:first-letter {
	font-size: 200%; font-style: italic; font-weight: bold; float: left
}
P.initial:first-letter { color: #008000 }
p.left {
    margin-left: 0.5ex;
    text-align: left
}
p.note {
    color: green;
    margin-left: 1em;
}
ul.toc {
    list-style-type: none;
}

a.normref { 
    color : red;
}	

a.informref {
    color : green;
}	

br.clear {
    clear: left
}
/* Q:before, Q:after { content: "\""; color: red */
}
Q { font-style: italic; }
Q:after { content: "\'\' "; }
Q:before { content: " ,,"; }

table.beige {
    background : #ffffdd;
}	
table.white {
    background : white;
}	
table.papergrey {
    background : #f2f2f2;
}	

th.turquoise {
    background : turquoise;
}	

td.papergrey {
    background : #f2f2f2;
}	

div.subnomer {
    margin-left: 0.5ex;
}	

td.turquoise {
    background : turquoise;
}	

DIV.subtoc {padding: 1em; border: solid thin; margin: 1em 0;
    background: #ddd}