body {
color : #000000;
background : #f0f0f0;
}
body.exercise {
color : #000000;
background : #cccccc;
}
h1 {
color : #449944;
text-decoration : underline;
}
h2 {
color : #449944;
text-decoration : underline;
}
h3 {
color : #449944;
text-decoration : underline;
}
a:link {
text-decoration : underline;
font-weight : bold;
color : #0000ee;
}
a:visited {
text-decoration : underline;
font-weight : bold;
color : #5500aa;
}
a:hover {
text-decoration : underline;
font-weight : bold;
background-color : #ffff00;
color : #ff0000;
}
a:active {
text-decoration : underline;
font-weight : bold;
background-color : #ff0000;
color : #ffff00;
}
font.code {
font-family : Courier;
color : #000000;
font-weight : bold;
font-style : normal;
}
font.codeMark {
font-family : Courier;
color : #dd0000;
font-weight : bold;
font-style : normal;
}
font.comment {
font-family : Courier;
color : #888888;
font-weight : bold;
font-style : normal;
}
div.example {
color : #0000cc;
}
div.remark {
color : #4f4f8f;
}
div.code {
font-family : Courier;
color : #111111;
font-weight : bold;
font-style : normal;
width : 90%;
background : #ffffff;
padding : 3mm;
}
div.dos {
font-family : Courier;
color : #ffffff;
font-weight : bold;
width : 90%;
background : #000000;
padding : 3mm;
}
div.address {
font-size : smaller;
font-weight : bold;
}
table.navigation {
background : #76cb76;
color : #8800ff;
}
tr.navigation {
color : #8800ff;
}
td.navigation {
font-size : small;
font-weight : bold;
color : #000000;
}
td.pagenavigation {
font-size : smaller;
font-weight : bold;
}
table.inhaltPageLink {
padding : 0;
border-width : 0;
}
td.inhaltPageLink {
font-weight : bold;
}
td.inhaltInnerPageLink {
font-size : smaller;
font-weight : bold;
}
table.address {
background : #ffbb44;
}
td.address {
font-size : smaller;
font-weight : bold;
}
table.specialframeOut {
background : #76cb76;
}
table.specialframeIn {
background : #f0f0f0;
}