* { margin:0; padding:0; }

li, dd, blockquote { margin-left: 40px; }

div#body ul, ol { margin-bottom: 15px; }

body {
  color: black;
  background-color: #fbfbfb;
  font-size: 100.01%;
  font-family: Helvetica,Arial,sans-serif;
  padding: 1em;
  text-align: center;
}

div#all {
  text-align: left;
  margin: 0 auto;
  width: 760px;
  padding: 0.5em;
}

div.box {
  font-size: 0.91em;
  margin-bottom: 1.5em;
  border: 1px dashed silver;
  width: 10em;
}

div.box#menu {
  margin-top: 0.5em;
}

div.box#admin {
}

div.box#auth {
}

div.box#inline {
  margin-top: 4em;
  margin-right: 1em;
  margin-left: 0.5em;
  width: 9em;
  float: right;
}

div#left {
  float: left;
}

div.box ul {
  width: 100%;
}

div.box ul li {
  list-style: none;
  margin: 0;
  display: inline;
}

div.box a {
  display: block;
  padding: 0.2em;
  font-weight: bold;
}

div.box a[href ^="http://"], div.box a[href ^="https://"], div.box a[href ^="ftp://"],
div#body a[href ^="http://"], div#body a[href ^="https://"], div#body a[href ^="ftp://"] {
  background-image: url( ../images/ext_link.png );
  background-repeat: no-repeat;
  background-position: 0 0.5em;
  padding-left: 12px;
}

.email:before {
  content: ""attr(title)"@"attr(rel)"";
}

.email span {
  display: none;
}

a {
  text-decoration:  none;
  background-color: inherit;
  color: #666;
}

div.box a:link {
  background-color: #eee;
  color: #666;
}

div.box a:visited {
  background-color: #eee;
  color: #666;
}

div.box a:hover, a:hover {
  text-decoration:  none;
  color: black;
  background-color: white;
}

a:active {
  background-color: gray;
  color: #666;
}

div#body {
  margin-left: 10em;
  padding: 1em;
  border-left: 1px solid silver;
  border-right: 1px solid silver;
  min-width: 16em;
  color: inherit;
  background-color: white;
}

div#body p {
  font-size: 1em;
  margin: 1em 0;
}

div#top {
  font-size: 0.9em;
  height: 35px;
  padding: 0.1em;
  color: inherit;
  background: #7bbac1 url( ../images/ge-166x35.gif ) no-repeat 0 0;
  border: 1px solid silver;
}

div#bottom {
  clear: both;
  font-size: 0.9em;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  padding-right: 0.5em;
  padding-left: 0.5em;
  text-align: right;
  color: inherit;
  background-color: #7bbac1;
  border: 1px solid silver;
}

div.heading {
  font-size: larger;
  font-weight: bold;
  margin-bottom: 12px;
  padding-left: 1em;
  color: inherit;
  background-color: silver;
}

div.definition {
  font-weight: bolder;
  margin-bottom: 0;
  color: inherit;
  background-color: #e9e9e9;
}

div.definition + p {
  margin-top: 0;
  margin-left: 20px;
}

div.explanation {
  margin-left: 15px;
}

img.right {
  float: right;
  border: 1px dotted black;
  margin: 5px;
  padding: 5px;
}

img.left {
  float: left;
  border: 1px dotted black;
  margin: 5px;
  padding: 5px;
}

pre.code {
  border:1px dotted black;
  margin:5px;
  padding:5px;
  margin-left: 15px;
  color: inherit;
  background-color: #eae9e8;
}

.author, .date, .md5 {
  font-size: x-small;
}

.banner {
  margin-top: 15px;
  margin-bottom: 15px;
}