@media screen {
    BODY {
        padding-top: 1em;
        padding-left: 1em;
        max-width: 45em;
    }
}

BODY {
    color: #000;
    background-color: #fff;
    font-family: Verdana, sans-serif;
}

* {
    line-height: 1.35;
}

A:link {
	text-decoration: none;
    color: #00e;
}

A:visited {
	text-decoration: none;
    color: #707;
}

A:hover {
	text-decoration: underline;
}

A:active {
	text-decoration: underline;
}

P:target, H1:target, H2:target, TD:target, TR:target {
    background-color: #ccf;
}

H1, H2, H3, H4, H5, STRONG, CODE, PRE, #thanks, #footer, #copyrightwarning, .copyrightnote, .pubtype, .file {
    color: #000;
}

#thanks, #footer, #copyrightwarning, .copyrightnote, .pubtype {
    font-style: italic;
}

#copyrightwarning, .copyrightnote {
    font-size: small;
}

H1 {
    font-size: 2em;
    margin-top: 0em;
    margin-bottom: 1em;
}

H2 {
    font-size: 1.5em;
    margin-top: 1.5em;
    margin-bottom: 1em;
}

H3 {
    font-size: 1.2em;
    margin-top: 1.5em;
    margin-bottom: 1em;
}

P, OL, UL, PRE {
    margin-top: 1em;
    margin-bottom: 1em;
}

LI, DL.long DD, DL.long DT {
    margin-top: 0.6em;
    margin-bottom: 0.6em;
}

TABLE {
    border-spacing: 0em;
}

TD {
    padding-left: 0em;
    padding-right: 1em;
    padding-top: 0em;
    padding-bottom: 1em;
    vertical-align: top;
}

TD P, TD OL, TD UL, TD OL LI, TD UL LI {
    margin-top: 0em;
    margin-bottom: 0.6em;
}

TD.pub-num {
    text-align: right;
    min-width: 3em;
}

PRE {
    margin-left: 40px;
}

#header {
    display: block;
    margin-top: 0px;
    margin-bottom: 1.5em;
    padding-bottom: 0.5em;
    border-bottom: 1px solid #008;
}

#thanks {
    display: block;
    margin-top: 2.5em;
    margin-bottom: 2.5em;
}

#footer, #copyrightwarning {
    display: block;
    margin-top: 2.5em;
    margin-bottom: 1em;
    padding-top: 0.5em;
    border-top: 1px solid #008;
}

SUP, SUB {
    vertical-align: 0;
    position: relative;
    font-size: 0.83em;
}

SUP {
    bottom: 1ex;
}

SUB {
    top: 0.8ex;
}

.star {
    vertical-align: 0;
    position: relative;
    bottom: 0.2ex;
}

.smallrightfloat {
    float: right;
    margin-right: 0em;
    margin-top: 0em;
    margin-bottom: 0.5em;
    margin-left: 1em;
}

.right-align {
    text-align: right;
}

.center-align {
    text-align: center;
}