/******************** Global page layout ********************/
html, body {
  margin: 0px;
  padding: 0px;
  background-color: #ccf;
}
#layout {
  margin: 0px;
  padding: 0px;
  border-width: 0px;
  border-style: hidden;
  width: 100%;
}
#layout td {
  margin: 0px;
  padding: 0px;
  vertical-align: top;
}
#main {
  padding: 2ex 2em;
  max-width: 80em;
  margin-left: auto;
  margin-right: auto;
}
#head {
  text-align: center;
}

/******************** Navigation elements ********************/
#navbox, #navbox ul, #navbox li, #navbox p {
  display: block;
  margin: 0px;
  border-width: thin;
  border-color: #f27272;
}
#navbox, #navbox ul {
  padding: 0px;
  list-style-type: none;
  border-style: none;
}
#navbox {
  margin: 2ex 1em;
}
#navbox ul {
  border-style: outset;
}
#navbox li {
  padding: 0px;
  margin-top: 1ex;
  border-style: inset;
}
#navbox li li {
  margin-top: 0ex;
  border-style: none;
}
#navbox div {
  display: block;
  margin: 0px;
  padding: 0px;
  border-width: 0px;
  border-style: none;
  border-color: #f27272;
}
#navbox p {
  white-space: nowrap;
  font-family: sans-serif;
  background-color: #f27272;
  color: #000;
  padding: 1ex 1em;
  font-weight: bold;
  border-style: outset;
}
#navbox ul p {
  padding: 0.5ex 1em;
  font-weight: normal;
  border-style: solid;
}
#navbox ul ul p {
  font-style: oblique;
}
#navbox p.current, #navbox li.active p {
  border-style: inset;
}
#navbox p.link {
  cursor: pointer;
}
#navbox p.link:hover {
  border-style: inset;
}
#navbox a {
  text-decoration: none;
  color: #009;
}
#navbox a:hover, #navbox p:hover a {
  text-decoration: underline;
  color: #009;
}

/******************** Navigation elements ********************/
ul#languages {
   list-style-type: none;
   position: absolute;
   right: 1em;
   top: 1ex;
   padding: 0px;
   margin: 0px;
}
ul#languages li {
  display: inline;
  padding: 0px;
  margin: 1px;
}
ul#languages li img { border: 2px outset #ccf; display: inline; }
ul#languages li a:hover img { border: 2px inset #ccf; }
ul#languages li.current img { border: 2px inset #ccf; }

/******************** Footer ********************/
#footer {
  margin: 1ex 1em;
}
#footer {
  clear: both;
  color: #666;
  border-top: 1px solid;
  height: 31px;
  padding: .25em 0;
}
#footer :link, #footer :visited { color: #933; }
#footer hr { display: none }
#footer #tracpowered { border: 0; float: left }
#footer #tracpowered:hover { background: transparent }
#footer p { margin: 0 }
#footer p.left {
  float: left;
  margin-left: 1em;
  padding: 0 1em;
  border-left: 1px solid #933;
  border-right: 1px solid #933;
}
#footer p.right {
  float: right;
  text-align: right;
}

/******************** style for specific HTML elements ********************/
img { border: 0px; display: block; }
img.inline { display: inline; }
h1, h2 { clear: both; }
h3 { clear: left; }
body.trac h1, body.trac h2, body.trac h3 { clear: none; }

/******************** style classes ********************/
.center { text-align: center; }
.centered { margin-left: auto; margin-right: auto; }
.left { text-align: left; }
.mono { font-family: monospace; }
.command { font-family: monospace; background-color: #fff; }
p.command { margin: 1em; padding: 1em; }
.file { font-family: monospace; }
.notice { background-color: #ffc; font-style: italic; padding: 2ex;
          border: 2px dashed #cc0; }
.floatr { float: right; margin-left: 3ex; margin-bottom: 2em; }
.floatl { float: left; margin-right: 3ex; margin-bottom: 2em; }
.codebox { border: 2px #ccc inset; background-color: #9ff; padding: 1em; }
.nomargin { margin: 0px; }
.fullwin { position: absolute; left: 0px; right: 0px; top: 0ex; bottom: 4px; }
.fullsize { width: 100%; height: 100%; }