/* global styles */
body {
  font-family: sans-serif;
}
div {
  border: 0;
  padding: 0.5em;
}
img {
  border: 0;
}
code, pre {
  font: 100% monospace;
}
a {
  display: block;
  padding: 0.25em 0.5em;
  margin: 0 0 1px;
  border-width: 0;
  text-decoration: none;
  color: #3333ff;
  background: #ffffff;
}
a:hover {
  color: #3333ff;
  background: #dddddd;
  border-right: 0px double white;
}
/* masthead styles */
div#masthead {
  position: absolute;
  top: 0;
  left: 0;
  height: 100px;
  width: 95%;
  margin: 10px;
}
div#masthead p {
  text-align: center;
}
/* menubar styles */
div#menubar {
  position: fixed;
  background: #ffffff;
  top: 125px;
  left: 0;
  width: 15%;
  margin: 10px;
  font-size: smaller;
}
div#menubar:hover {
  background-position: 0px 0px;
}
/* menu styles */
div#menu a {
  text-align: center;
  font-weight: bold;
  -moz-border-radius: 5px;
  -webkit-border-radius: 5px;
  border-radius:6px;
}
/* main panel styles */
div#main {
  position: absolute;
  top: 125px;
  left: 16%;
  width: 62%;
  margin: 10px;
}
div#main a {
  display: inline;
  padding: 0;
}
div#main a:hover {
  background: #ffffff;
  text-decoration: underline;
}
/* content styles */
div#content pre {
  padding: 2em;
  margin-left: 5em;
  background: #dddddd;
  width: 85%;
  overflow-x: auto;
}
div#content pre.codelisting {
  counter-reset: ln;
}
div#content pre.codelisting span.codeline {
  counter-increment: ln;
}
div#content pre.codelisting span.codeline:before {
  content: counter(ln);
  width: 2em;
  padding-right: 0.25em;
  display: inline-block;
  border: 1px dotted #000000;
  text-align: right;
  color: #ff0000;
}
div#content table#changelog {
  font-size: x-small;
}
/* footer styles */
div#footer p {
  text-align: center;
}
div#footer p.contact {
  font-size: smaller;
  padding-top: 1em;
}
/* aux panel styles */
div#aux {
  float: right;
  top: 125px;
  left: 80%;
  width: 15%;
  margin: 125px 10px 10px 10px;
  font-size: smaller;
}
div#aux a {
  -moz-border-radius: 5px;
  -webkit-border-radius: 5px;
  border-radius:6px;
}
div#aux:hover {
  background-position: 0px 0px;
}
div#aux h4 {
  text-align: center;
}
div#aux p.go-top, div#aux p.go-top a, div#aux p.go-top a:hover {
  opacity: 0.75;
  filter:alpha(opacity=75); /* For IE8 and earlier */
  position: fixed;
  bottom: 0.5em;
  right: 0.5em;
  text-decoration: none;
  font-size: small;
  padding: 0;
  display: block;
}
/* customer panel styles */
div#customer a {
  text-align: center;
  font-weight: bold;
}