html { margin: 0; padding: 0; background-color: #CCCCCC; }
body
{
  margin: 0;
  padding: 2em;
  font-family: Verdana, Helvetica, sans-serif;
  font-size: medium;
}
body.spacefornav { margin-right: 23em; }
body.fancy {
  margin: 5ex 2em 1em 2em;
  padding: 1em;
  background-color: #FFCC66;
  border: thin #CC3300 solid;
}
a:link, a:visited { color: #CC3300; text-decoration: underline; }
a:link:hover, a:visited:hover { background-color: #CCFF00; }
a:link:active, a:visited:active { color: red; }
a.noline:link, a.noline:visited { text-decoration: none; }
a.noline:link:hover, a.noline:visited:hover { background-color: inherit; }

div#nav
{ 
  position: absolute;
  top: 2em; right: 2em; width: 20em; height: auto;
  z-index: 2;
  background-color: #FFCC66;
  background-image: none;
  padding: 1em;
  border: thin #CC3300 solid;
}
div#nav h2 { margin: 0; padding: 1em 0; }
div#nav ul
{
  list-style-type: circle;
  list-style-position: outside;
  margin: 0 0 0 1em;
  padding: 0;
}
div#nav li
{
  padding: 0 0 2ex 1ex;
  margin: 0;
}
h2.nav { display: none; }
ul.nav {
  display: block;
  position: absolute;
  list-style-type: none;
  margin: 0;
  padding: 0;
  top: 1ex; left: 2em; right: 2em; height: 3ex;
  background-color: #FFCC66;
}
ul.nav li { margin: 0; padding: 0; display: inline; }
ul.nav li a { font-size: small; margin: 2px; padding: 0; vertical-align: middle;}

h1,h2,h3,h4,h5,h6 {color: #CC3300; margin: 0; font-weight: normal;}
h1 { font-size: x-large; padding: 2em 0em 2em 0em; }
h2 { font-size: large;   padding: 1em 0em 1em 30px; }
h3 { font-size: medium;  padding: 1em 0em .5em 30px; font-style: italic; }

p {
  font-size: medium; color: black;
  padding: 0 1em 1ex 30px; margin: 0;
  line-height: 150%;
}

ul { list-style: circle outside; padding: 0 2ex; margin: 0 1em 1em 2em; }
li { margin: 0; padding: 1ex; }

code { font-size: large; }

pre { margin: 0 1em 0 30px; padding: 1em; background-color: #FFDD77; border: thin white solid; }
pre + p { padding-top: 1ex; }

table { margin: 2em 1em 2em 2em; padding: 2em 0; border-collapse: collapse; }
td, th { padding: 1em; margin: 0; border: thin black solid; }
caption { margin: 0; padding: 1ex 0; font-weight: bold; }

h2 code { font-size: inherit; font-weight: bold; }


/* --- Specific styles --- */

p#anybrowser { text-indent: 0; padding-top: 3em; border: none; }
p#anybrowser img { border: none; }
p#anybrowser a:link:hover, p#anybrowser a:visited:hover {
  text-decoration: none; background-color: transparent; }

img#myself { float: right;
             margin-right: 1em;
             top: 0px;
             height: 300px;
             width: 400px;
             margin-left: 20px;
             border: none;
           }

abbr[title], acronym[title], dfn[title]
{
  cursor: help;
}
q { quotes: '\201C' '\201D' '\2018' '\2019' }
q:before { content: open-quote; }
q:after { content: close-quote; }

h2.date { display: run-in; padding: 0 1em 0 0; margin: 1em 0; }
p.morespace { padding-top: 1ex; padding-bottom: 2ex; }
p.morespace + p { padding-top: 1ex; }
p.codeindent { margin: 0 1em 0 30px; background-color: #FFDD77; border: thin white solid; }
.small { font-size: small; }
.standout { color: #CC3300; font-weight: bold; }
.small code { font-size: small; }