body {
  margin: 0 0 1em 0;
  padding: 0;
  color: black;
  background-color: #eee;
  line-height: 130%;
  font-family: arial, helvetica, verdana, tahoma, sans-serif;
  /* text-align: center; */
}

img {
  border: 0;
}

img.face {
  float: right;
}

#header-container {
  margin: 0px auto;
  background: #fff;
  width: 80%;
  border-left: 1px solid #bbb;
  border-right: 1px solid #bbb;
}

#logo {
  float: left;
  background: #fff url('pics/banner.jpg') left no-repeat;
  height: 125px;
  line-height: 125px;
  /*margin: 0px auto;*/
  min-width: 174px;
  width:expression(document.body.clientWidth < 1280 ? "174px" : "15%" );
}

#header {
  float: right
  width: 85%;
  height: 125px;
  line-height: 100px;
  margin: 0 auto;
  text-align: left;
  background-color: #fff;
}

#header h1 {
  margin: 0;
  padding: 0;
  color: #bbb;
  font-size: 220%;
  padding-left: 10px;
  letter-spacing: -1px;
}

#menu-container {
  display: table;
  margin: 0px auto;
  border-left: 1px solid #bbb;
  border-right: 1px solid #bbb;
  width: 80%;
  background: #88ac0b url('pics/menu-background.png') top left repeat-x;
}

#menu {
  width: 100%;
  margin: 0px auto;
  font-size: 95%;
  white-space: nowrap;
  padding-right: 2px;
}

#menu ul { 
  margin: 0;
  padding: 0;
  list-style: none;
  float: left;
  width: 100%;
}

#menu li { 
  display: inline;
}

#menu a:link, #menu a:visited {
  padding: 0.25em 1em;
  background: transparent;
  color: #eee;
  text-decoration: none;
  float: left;
  border-right: 1px solid #95bc0e;
}

#menu a:hover {
  background: #b6e41c url('pics/menu-hover.png') repeat-x;
  color: #485b06;
}

#content {
  width: 78%; /* 73% because it has 1% padding on each side, which brings it to 75% wide */
  margin: 0 auto;
  padding: 10px 1% 20px 1%;
  border-left: 1px solid #bbb;
  border-right: 1px solid #bbb;
  background: white;
  font-size: 90%;
  text-align: left;
}

* html #content { padding-top: 1.8em; } /* Set padding top in IE to 20px */

#footer {
  margin: 0 auto;
  padding: 2px 1%;
  width: 78%;
  text-align: right;
  font-size: 60%;
  color: white;
  letter-spacing: 0.15em;
  background: #88ac0b url('pics/menu-background.png') top left repeat-x;
  border: 1px solid #a0c80e;
}

#docs_rss {
  width: 40%;
  margin-left: 5%;
}

#docs_rss ul {
  margin: 0;
  padding: 5px;
  list-style: none;
  width: 100%;
  background-color: #eee;
  border: 1px solid #bbb;
}

#docs_rss h2 {
  font-size: 120%;
  margin: 0;
  padding: 0;
  margin-bottom: 5px;
  border: none;
}

#docs_rss a:link {
  font-size: 60%;
  text-decoration: none;
  color: #222;
}

#docs_rss a:visited {
  font-size: 60%;
  text-decoration: none;
  color: #222;
}

#docs_rss a:hover {
  color: #999;
  text-decoration: none;
}

#docs_rss hr {
  border: 0;
  background-color: #bbb;
  height: 1px;
  width: 90%;
  margin: 0px auto;
}

h2 {
  color: #666;
  padding-bottom: 3px;
  border-bottom: 1px solid #a0c80e;
  font-size: 150%;
  letter-spacing: -1px;
}

a:link, a:visited {
  color: #260;
  text-decoration: none;
}

a:hover {
  color: #000;
  text-decoration: underline;
}

p, pre, div.code { margin-left: 1em; }

pre, div.code {
    font-family: monospace;
    border-top: 1px solid silver;
    border-bottom: 1px solid silver;
}