body {
    margin : 20px;
}
a.www:link {
    color : red;
}
a.www:visited {
    color : purple;
}
a.www:active {
    color : rgb(255, 0, 255);
}
a.hover, a.math, a.none {
    text-decoration : none;
}
a.hover, a.none {
    color : black;
}
a.hover:hover {
    color : blue;
    text-decoration : underline;
}
h1, h2, .head {
    font-family : Arial, Helvetica, sans-serif;
    font-weight : bold;
}
h1 {
    font-size : 200%;
    font-variant : small-caps;
    text-align : center;
    margin-bottom : 1cm;
}
h2 {
    font-size : 150%;
    margin-top : 1cm;
}
p, th, td, ol, ul, input, textarea, option, .normal {
    font-family : "Times New Roman", "Times Roman", Times, serif;
    font-size: 100%;
}
pre {
    font-family : monospace;
    font-size : 100%;
}
td, th {
    vertical-align : middle;
}
td.top {
    vertical-align : top;
}
ul {
    list-style-type : disc;
}
ul.square {
    list-style-type : square;
}
div.spalte_li, div.spalte_re {
    width : 49%;
}
div.spalte_li {
    float : left;
}
div.spalte_re {
    float : right;
}
div.center {
    text-align : center;
}
div.nav {
    position : relative;
    margin : auto;
    width : 100px;
    height : 65px;
}
div.up, div.bigup, div.bighome, div.back, div.home, div.forward {
    position : absolute;
    height : 30px;
}
div.up, div.back, div.home, div.forward {
    width : 30px;
}
div.bigup, div.bighome {
    width : 100px;
}
div.up, div.bigup {
    top : 0px;
}
div.bighome, div.back, div.home, div.forward {
    top : 35px;
}
div.bigup, div.bighome, div.back {
    left : 0px;
}
div.up, div.home {
    left : 35px;
}
div.forward {
    left : 70px;
}
div.null, div.language, div.copyright, div.w3c, .small {
    font-size : 85%;
}
div.null, div.language {
    width : 60pt;
}
div.copyright, div.w3c {
    width : 35%;
}
div.null, div.copyright {
    float : left;
}
div.language, div.w3c {
    float : right;
    text-align : right;
}
div.notepad {
    margin-left : 5%;
    width : 90%;
    padding : 40pt;
    background-image : url(../img/backgrnd/notepad.gif);
}
span.tooltip {
    cursor : help;
    border-bottom : 1px dotted blue;
}
.bold {
    font-weight : bold;
}
.big, .head {
    font-size : 133%;
}
.cite {
    margin-right : 1cm;
    margin-left : 1cm;
}
.head {
    margin-bottom : 5mm;
}
.image, .caption {
    font-size : 67%;
    text-align : center;
}
.indent {
    margin-left: 1cm;
}
.normal {
    text-align : left;
    text-decoration : none;
    font-weight : normal;
}
.sc {
    font-variant: small-caps;
}
.bigspace {
    margin-top : 40px;
}
.space {
    margin-top : 20px;
}