body {
        background-color: #FFF9F0 ;
        color: #550000 ;
        padding: 0pt 20pt ;
        margin: 8pt ;
}

:link {
        color: #3300EE ;
}

a.mailto {
        color: #330000 ;
}

:visited {
        color: #990099 ;
}

a:active {
        color: #FF3333 ;
}

a img { border: none; }

h1 {
        font-size: xx-large ;
        text-align: center ;
        margin: 4pt ;
        color: #444444 ;
}

h2 {
        margin: 2ex 0ex 1ex -20pt ;
        font-family: sans-serif ;
        font-size: x-large ;
        font-weight: bold ;
        color: #444444;
}

h3 {
        padding: 0.5ex 0.5em 0.5ex 0.5em ;
        margin: 1ex -0.5em ;
        font-family: sans-serif ;
        font-size: large ;
        font-weight: normal ;
        background-color: #EEEEDD ;
        color: #444444;
}

h3.paper {
        margin-bottom: 0pt ;
}

h3.paper span, h3.paper i {
        font-size: small ;
        float: right ;
        margin: -2px -2px 4px 4px ;
}
h3.paper span:before {
        content: "With: "
}

p.paper span.variant {
        padding: 0.2ex 0.9em 0.2ex 0.9em ;
        margin: 1ex 0em 0ex -0.9em  ;
        font-family: sans-serif ;
        font-size: smaller ;
        font-weight: bold ;
        display: block ;
        background-color: #EEEEDD ;
        color: #444444;
}

p.paper {
        margin-top: 2pt ;
}

dt {
        font-weight: bold ;
}

p.topbot {
        font-family: sans-serif ;
        background-color: #E4E4EC;
        padding: 4px ;
        margin: 0pt -20pt ;
}

p.topbot span {
        float: right ;
}

p.topbot b {
        font-weight: normal ;
        font-size: small ;
        color: #000033 ;
        padding-left: 0.25em ;
}

p.topbar {
        border-top: 3pt solid black ;
}

p.topbar img.hoved {
        position: static ;
        float: right ;
        margin: -4px -4px 4px 4px ;
}

p.topbar span:before {
        content: "Last update: " ;
        font-style: normal ;
}

p.topbar span {
        font-style: oblique ;
}


p.botbar {
        border-bottom: 4px solid black ;
        position: relative ;
        padding-right: 90px ;
}

p.botbar img {
        position: absolute ;
        bottom: -4px ;
        right: -4px ;
        border: none ;
}

p.mirroring {
        font-family: sans-serif ;
        font-size: small ;
        margin: -8pt -28pt 0pt -28pt ;
        padding: 0ex 0.3ex ;
        background-color: #CCCCCC ;
        color: #000066 ;
        overflow: hidden ;
        white-space: nowrap ;
}



ul.loose li, li.loose {
        margin-top: 1ex ;
}


b.polyx {
        font-family: sans-serif ;
        font-weight: bold ;
}