body { margin: 0px;
       background-color: #fffff0; color: #330033;
       font-family: sans-serif; }

h1.greeting { color: #660066; font-size: 200%; text-align: center; }

img   { border: 0pt; }
p.nav { text-align: center; color: #761b84 }

a[href], .a { color: #003300; }
a[href]:visited { color: #330000; }
a[href]:hover { color: #6B03E3; }

img.email      { vertical-align:-6px; width:166px; height:22px; }
img.math-email { vertical-align:-6px; width:216px; height:22px; }
img.stars_host { vertical-align:-4px; width:205px; height:18px; }

dt { font-weight: bold; margin-bottom: .5ex; margin-top: 2.5ex; }
dd { margin-bottom: 1ex; }
dd.nospace { margin-bottom: 0ex; }
ul[class~=spaced] > li, ul.spaced > li { margin-bottom: 1ex; }

table[class~=centered] { margin-left:auto; margin-right:auto; text-align: center; }
table[class~=centered] td { text-align: left; }
.note { font-weight: normal; font-size: smaller; }
.a { text-decoration: underline; cursor: pointer; }

[class~="comment"], [class~="comment"], .comment, .comment { font-size: 75%; vertical-align: middle; }
[class~="grey"], [class~="gray"], .grey, .gray { color: #999990; }

/*-----------------------------------------------------------------*/
/*                              NavBar                             */
/*-----------------------------------------------------------------*/
#NavBarBox { position: fixed;
             left: 0px; top: 0px; bottom: 0px; width: 200px; height: 100%;
             background: #eeeee0; overflow: auto; }
#NavBar { padding: 1em 10px 2em 1em; }
#NavBar:first-child { margin-top: 0px; }

#NavBar h1 { margin-top: 20pt; font-variant: small-caps; font-size: 120%; color: #332288; }
#NavBar h1:first-child { margin-top: 0pt; }
#NavBar h2 { margin-top: 20pt; font-variant: small-caps; font-size: 100%; color: #332288; }
#NavBar h2:first-child { margin-top: 0pt; }
#NavBar h3 { margin-top: 20pt; font-variant: small-caps; font-size: 90%; color: #332288; }
#NavBar h3:first-child { margin-top: 0pt; }

#NavBar ul { list-style-type: none; margin-top: -10px; }
#NavBar li { margin-left: -20pt; margin-bottom: 3pt; }

#NavBar a { color: inherit; }
#NavBar a:hover { color: #6B03E3; }
#NavBar .about { font-size: 70%; font-variant: small-caps; text-align: right; }
#NavBar > .grey, #NavBar > .gray { color: #666660; }

/*-----------------------------------------------------------------*/
/*                             Content                             */
/*-----------------------------------------------------------------*/
#ContentBox { height: 100%; margin: 0px 0px 0px 205px; overflow: auto; }
#Content    { padding: 1em 1em 2em 15px; }
#Content:first-child { margin-top: 0px; padding-top: 0px; }

#Validator { clear: both; font-size: 5pt; text-align: right; }
#Validator a { color: inherit; margin: 2pt; }

@media print {
  body { margin: 0in; background-color: white; color: black; font-family: serif; }
  [class~="grey"], [class~="gray"], .grey, .gray { color: black; }
  #NavBarBox, .webonly { display: none; }
  #ContentBox { width: 100%; position: static; margin: 0in; }
  a, a[href], a[href]:visited, a[href]:hover { color: black; text-decoration: none !important; }
}