body, p, ol, ul, th, td {
  font-family: sans-serif,serif;
  line-height: 1.3em;
}

pre {
  background-color: #eee;
  padding: 10px;
  font-size: 11px;
}

/* user styles */

body {
  margin-top: 0;
}

a:hover { color: #a3b8cc; }

#container {
  line-height: 140%;
  background-color: #FFFFFF;
  color: #000000;
}

#banner {
  margin: 0 0 10px;
  width: auto;
  padding: 5px 13px;
  font-family: Verdana, Arial, sans-serif;
  color: #fff;
  background-color: #000060;
  text-align: left;
}

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

#banner-title {
  float: left;
}

#banner-header {
  margin: 0;
  font-size: 30px;
  font-weight: bold;
  line-height: 1em;
}

#banner-description {
  margin-top: 5px;
  margin-bottom: 0;
  background: none;
  font-size: 12px;
  font-weight: bold;
  line-height: 1.125em;
}

#navigation {
  clear: both;
  margin-bottom: 1em;
}

#site-footer {
  margin-top: 1em;
  text-align: center;
  font-size: 80%;
}

#pagebody h2 {
  margin-top: 0;
  border-left: 5px solid #dae0e6;
  padding: 0 0 0 10px;
  color: #666;
  font-size: 18px;
}

/*
 * for simple-doc, that will be used in site-top and so on
 */

#simple-doc #container {
  width: 600px;
}

#simple-doc #banner {
  margin-bottom: 1em;
}

#simple-doc #pagebody {
  width: 500px;
}