/* CSS Copyright 2004 by amitp@cs.stanford.edu (Amit J. Patel)  */

html {
  background-color: #ffffff;
  padding: 1em 5%;
}

body {
  color: #000;
  // background-color: #fcf8f4;
  background-color: #ffffff;
  font-family: Georgia,serif;
  padding: 30pt;
  padding-top: 0;
  padding-bottom: 0;
  margin: 1em auto;
  border: 1px solid #555;
  border-bottom: 2px solid #000;
  border-right: 2px solid #000;
  min-height: 95%;
}

body {
  -moz-border-radius: 10px;
}

h1 {
  -moz-border-radius: 10px 10px 0 0;
}

.footer {
  -moz-border-radius: 0 0 10px 10px;
}

h1, h2, h3, h4, h5, h6 {
  font-family: "avant garde","century gothic","trebuchet ms",sans-serif;
  font-weight: bold;
  color: #029;
  margin-bottom: 0;
}

h1 {
  line-height: 0.8;
  margin: 0;
  margin-left: -30pt;
  margin-right: -30pt;
  padding: 0;
  padding-top: 1ex;
  padding-left: 30pt;
  padding-right: 30pt;
  border-bottom: 1px dotted #888;
  background-color: #fff;
}

h2:target {
  color: #f00;
  font-size: 2em;
}

address {
  text-align: right;
}

.footer {
  border-top: 1px solid #888;
  background-color: #fff;
  padding: 0;
  padding-left: 1em;
  padding-right: 1em;
  margin: 0;
  margin-left: -30pt;
  margin-right: -30pt;
  font-family: sans-serif;
}
.footer hr {
  display: none;
}

/* http://www.accessibleinter.net/portfolio/writing/revised_method_link_pseudoclasses.php */ 

:link:focus, :visited:focus {
}


:link {
  color: #223377;
}

:visited {
  color: #662266;
}

:link:hover, :visited:hover {
  color: #ffffff;
  background-color: #525a6a;
  text-decoration: none;
}

:link:active, :visited:active {
  color: #ff0000;
  background-color: #ffff00;
}



input:focus { 
  color:HighlightText; 
  background-color: Highlight;
}

div.nav, div.subnav {
  margin: 0px;
  border-left: 1px solid #888;
  border-right: 1px solid #888;
  border-bottom: 1px solid #888;
}
div.nav {
  background-color: #eee;
}
div.subnav {
  background-color: #ddd;
}
div.nav ul, div.subnav ul {
  margin: 0px;
  padding-left: 3em;
  font-family: sans-serif;
  font-size: small;
}
div.nav ul {
  padding-top: 10px;
}
div.nav li, div.subnav li {
  list-style: none;
  margin: 0;
  margin-bottom: 0;
  display: inline;
}
div.nav li a, div.subnav li a {
  padding-left: 3px;
  padding-right: 3px;
  margin-left: 3px;
  text-decoration: none;
}
div.nav li a {
}
div.nav li a:link, div.subnav li a:link {
  color: #000000;
}
div.nav li a:visited, div.subnav li a:visited {
  color: #000000;
}
div.nav li a:hover, div.subnav li a:hover {
  border: 1px solid HighlightText;
  color: HighlightText;
  background: Highlight;
}
div.nav li#navcurrent a, div.subnav li#navcurrent a {
  color: #000;
  background: #fff;
  border: 1px solid #888;
  position: relative; top: 1px;
  z-index: 30;
}

li {
  margin-bottom: 0.5ex;
}

li > em:first-child, li > strong:first-child { 
  color: #7f7988;
  font-family: sans-serif; 
}

/* Thanks to http://www.svendtofte.com/code/max_width_in_ie/ */
p, li { 
  line-height: 1.7;
  max-width: 40em;
  width:expression( 
    document.body.clientWidth > (600/12) * 
    parseInt(document.body.currentStyle.fontSize)?
        "40em":
        "auto" );
}

div.note p {
  float: right;
  width: 3in;
  margin-right: 0%;
  padding: 10px;
  border: 2px solid #000000;
  -moz-border-radius: 12px;
}
.note p {
  background-color: #ffffff;
}

pre, code {
  color: #226622;
}

pre {
  font-size: small;
  white-space: pre;
  background-color: #fff;
  border: 1px solid #888;
  padding-left: 12px;
  padding-right: 12px;
  padding-top: 4px;
  padding-bottom: 4px;
}

pre.snippet {
  border-style: dashed;
}

blockquote {
  font-style: italic;
}

hr {
  border-width: 0px;
  border-top: 1px solid #cccccc;
}

.todo {
  background-color: #cccccc;
  color: #880088;
  font-family: fixed;
}