a:link { color: #04F; background-color: inherit; }
/* a:hover { color: purple; background: #afb } */
a:hover { color: inherit; background: inherit }
a:visited { color: #f00; background-color: inherit; }
a:active { color: #0f0; background: #a0b }
ol { list-style-type: decimal }
ol ol { list-style-type: upper-alpha }
ol ol ol { list-style-type: upper-roman }
ol ol ol ol { list-style-type: lower-alpha }
ol ol ol ol ol { list-style-type: lower-roman }
ol ol ol ol ol ol { list-style-type: decimal }
ul {list-style-type: disc }
ul ul {list-style-type: square }
ul ul ul {list-style-type: circle }
ul ul ul ul {list-style-type: disc }
ul ul ul ul ul {list-style-type: square }
ul ul ul ul ul ul {list-style-type: circle }


/* Begin htmlize styles. */
.builtin {
    /* font-lock-builtin-face */
    color: #da70d6;
    background-color: inherit;
}
.comment {
    /* font-lock-comment-face */
    color: #b22222;
    background-color: inherit;
}
.comment-delimiter {
    /* font-lock-comment-delimiter-face */
    color: #b22222;
}
.constant {
    /* font-lock-constant-face */
    color: #5f9ea0;
    background-color: inherit;
}
.function-name {
    /* font-lock-function-name-face */
    color: #0000ff;
    background-color: inherit;
}
.keyword {
    /* font-lock-keyword-face */
    color: #a020f0;
    background-color: inherit;
}
.sh-quoted-exec {
    /* sh-quoted-exec */
    color: #ff00ff;
}
.string {
    /* font-lock-string-face */
    color: #bc8f8f;
    background-color: inherit;
}
.type {
    /* font-lock-type-face */
    color: #228b22;
    background-color: inherit;
}
.underline {
    /* underline */
    text-decoration: underline;
}
.variable-name {
    /* font-lock-variable-name-face */
    color: #b8860b;
    background-color: inherit;
}


/* a { */
/*     color: inherit; */
/*     background-color: inherit; */
/*     font: inherit; */
/*     text-decoration: inherit; */
/*     } */
/* a:hover { */
/*           text-decoration: underline; */
/*           } */

/* End htmlize styles. */


span.required { color: #5f9ea0; background-color: inherit; }
/* span.conditional { color: #a020f0; background-color: inherit; } */
/* span.name { color: #b8860b; background-color: inherit; } */
span.args { Color: #0000ff; background-color: inherit; }
span.arguments { color: #228b22; background-color: inherit; }
span.elisptag { color: #da70d6; background-color: inherit; }
span.cpreprocess { color: #da70d6; background-color: inherit; }

p.banner { font-size: 140%; color: #008080; background-color: inherit; text-align: center }
p.headline  { font-size: 150%; text-align: center }
.center { text-align: center }

span.plusone { font-size: 120% }
span.plustwo { font-size: 140% }
span.plusthree { font-size: 160% }
span.plusfour { font-size: 180% }

span.annotation { font-size: 90% }

span.red { color: red; background-color: inherit; }
span.strike { text-decoration: line-through }

hr { text-align: center; width: 80%;}
h1 { text-align: center }

td.cthird { width: 33%; text-align: center }
td.footer { width: 60% }
td.right { text-align: right }
td.employdates{ width: 12% }
table.quote { text-align: left; margin-left: auto; margin-right: auto; background: aqua; color: inherit }
td.quote { padding: 1% 5% }
table.summary { text-align: left; margin-left: auto; margin-right: auto; width: 80% }
table.atexit { background: aqua; color: inherit; border-width: thin; width: 75%; text-align: left; margin-left: auto; margin-right: auto }

img { border-style: none }
.floatright { float: right }
div.smaller { font-size: smaller }
div.smout { margin: 10px; border: solid 1px; padding: 10px; }

pre { 
      background-color: #eeeeee;
      border: solid 1px silver;
      padding: 0.5em;
      color: inherit;
      }