A {
    Font-family : serif;
    Font-style : normal;
    Font-size : small;
    Color : black;
    Background-color : transparent;
    Word-spacing : .3em;
    Letter-spacing : .2em;
    Text-decoration : none;
    Vertical-align : top;
    Text-transform : none;
    Text-align : right;
    Margin-top : .2em;
    Padding : .1em;
    Clear : none;
    Display : block;
}
A:hover {
    Color : rgb(0, 51, 102);
    Background-color : rgb(204, 204, 0);
}
A.title {
    Font-family : serif;
    Font-variant : small-caps;
    Font-weight : bolder;
    Font-size : medium;
    Background-color : rgb(153, 153, 153);
}
body {
    Font-weight : lighter;
    Font-size : small;
    Color : rgb(0, 0, 153);
    Background-color : rgb(203, 234, 245);
    Text-align : left;
    Padding : 2em;
    Width : 4in;
    cursor : help;
}
h3 {
    Font-weight : lighter;
    Font-size : medium;
    Clear : none;
    Display : inline;
}
h1 {
    Color : transparent;
    Background-color : transparent;
    Display : inline;
}
A.linkhome {
}
A.linkhome:hover {
    Font-family : fantasy;
    Font-style : italic;
    Font-variant : small-caps;
    Font-weight : bolder;
    Font-size : xx-large;
    Color : black;
    Background-color : transparent;
    Letter-spacing : .25em;
}
p {
    Clear : none;
    Display : inline;
}
DL {
    Clear : none;
    Display : inline;
}
DT {
    Clear : none;
    Display : inline;
}
PRE {
    Text-align : left;
}
div.spacedown {
    Padding-top : 3cm;
}