:root {
    --tetrad-1:         #336699;    /* blue     */
    --tetrad-2:         #663399;    /* violet   */
    --tetrad-3:         #996633;    /* brown    */
    --tetrad-4:         #66cc33;    /* green    */

    --rgcb-1-bright:    #f58200;    /* orange */
    --rgcb-1-light:     #f5b800;    /* yellow */
    --rgcb-1-dark:      #9a5b16;    /* brown */
    --rgcb-2-bright:    #002cf5;    /* blue */
    --rgcb-2-light:     #5b68cc;    /* steelblue */
    --rgcb-2-dark:      #06007f;    /* indigo */

}

* {
    font-size:          12pt;
    font-family:        Verdana, Trebuchet, Arial, sans-serif;
}

CODE, A.email {
    font-family:        monospace;
    color:              var(--rgcb-2-dark);
}


BODY.stellarator {
    margin:             1em;
    margin-right:       7em;
    padding-top:        0.5em;
}


SPAN.wow {
    color:              var(--rgcb-2-bright);
    font-weight:        bold;
}

SPAN.yesreally {
    color:              var(--rgcb-2-light);
    font-weight:        bold;
}

H1 {
    color:              var(--rgcb-2-dark);
    font-size:          18pt;
}

H2 {
    color:              var(--rgcb-2-dark);
    font-size:          16pt;
    text-decoration:    underline;
}

H3 {
    color:              var(--rgcb-2-dark);
    font-size:          14pt;
}

A {
    text-decoration:    none;
    font-weight:        bold;
}

A:link {
    color:              var(--rgcb-1-bright);
}

A:visited {
    color:              var(--rgcb-1-bright);
}

A:hover {
    color:              var(--rgcb-1-dark);
}

A:active {
    background:         var(--rgcb-2-light);
    color:              var(--rgcb-1-light);
}

HR.ruler {
    /* color:              var(--rgcb-1-light); */
    border-color:       var(--rgcb-1-dark);
    border-style:       inset;
    border-width:       1pt;
}

DIV.foot {
    margin-top:         0.5em;
}

DIV.foot P, DIV.foot A {
    font-size:          9pt;
}

DIV.nav {
    padding-top:        0.25em;
    padding-bottom:     0.25em;
    /*
    border-top:         1px dotted black;
    border-bottom:      1px dotted black;
    */
    margin-bottom:      0.5em;
}
DIV.nav * {
    font-size:          9pt;
}
DIV.nav P {
    padding:            0;
    margin:             0;
}
DIV.nav TH {
    text-align:         left;
    font-weight:        bold;
    padding-right:      1em;
}
DIV.nav TD {
}

DIV.nav A {
    font-size:          16pt;
    padding:            0.25em;
    border:             2px solid white;
}

DIV.nav A.navactive {
    border-color:       var(--rgcb-2-light);
}
DIV.nav A.navactive:hover {
    border:       2px solid var(--rgcb-1-dark) !important;
}


OL {
    list-style-type:    decimal;
}

LI {
    /*
    margin-left: 1em;
    padding-left: -1em;
    */
    margin-bottom:  0.5em;
}

DIV.content P {
    line-height:        140%;
}