body {
  margin:0;
  padding:0;
  color:black;
  background: #BFCFFF;
  font: 0.8em Verdana, arial, sans-serif;
  }
  h1 {font-size: 1.8em; padding:0.2em 0.3em;}
  h2 {font-size: 1.3em; color: #596380; text-align: left;}
  .nav-box h3 {background: #BF8F60; color: black; margin: 0; padding: 2px;}
  h3 {font-style: italic;}
  .code {background: white; font-family:Courier New;}
  .border {border: 1px solid #807059;}
  #main {
  	margin:1px;
  padding: 2em;
  margin-left: 180px;
  line-height: 170%;
  }
  #nav-bar {
  	margin:2em;
  float: left;
  padding-left:5px;
  padding-right:5px;
  padding-bottom:5px;
  width:170px;
  border:0px solid #807059;
  text-align: right;
  background: url(../img/LittleEric.png) no-repeat top right ;
  }
  .nav-box {
  margin-top:5px;
  border: 1px solid white;
  }
  #footer {
  	clear: both;
  text-align:center;
  margin-left: 2em;
  margin-right: 2em;
  margin-bottom:20px;
  padding: 0;
  left: 0;
  right: 0;
  color:#009;
  border:1px solid #807059;
  }
  pre.cmd { color:#ddd; background-color:#000; border: 1px solid #999; }
  span.cli { background: white; font-family:Courier New; }
  pre.cmd .hi { color: #7ABDF6; border: 1px solid #7ABDF6; }
  .nav-box ul { padding-right: 5px; list-style: none; margin-bottom: 5px; margin-top: 5px;}
  #footer p {text-align: center; font-size:0.5em;}
  a { color: #3054BF; text-decoration: none; font-weight: bold;}
  a:hover { color: #3054BF; background: white; }
  a img { vertical-align:middle; border: 0; }

/* Highlighting style from highlight -i file -S syntax -X > output */
pre.hl	{ color:#000000; background-color:#BFCFFF; overflow:scroll; margin-left: 0px; margin-right: 1em; border: 3px dotted white; font-size:10pt; font-family:Courier New;}
.num	{ color:red; }
.esc	{ color:#ff00ff; }
.str	{ color:purple; }
.dstr	{ color:green; }
.slc	{ color:green; font-style:italic; }
.com	{ color:#222222; font-style:italic; }
.dir	{ color:#008200; }
.sym	{ color:green; font-weight:bold; }
.line	{ color:#555555; }
.kwa	{ color:#0000ff; font-weight:bold; }
.kwb	{ color:#830000; }
.kwc	{ color:#000000; font-weight:bold; }
.kwd	{ color:blue; }