html {
  background-color: #e0e0e0;
}

body {

}

div.address {

}

div.p {
  margin-top:      0.7em;
  margin-bottom:   0.7em;
}

table#layouttable caption {
  padding: 1em;
}

table#layouttable caption span {
  background-color: #f5f5ff;
  padding: 0.2em;
  padding-right: 3em;
  padding-left: 3em;
  font-size: xx-large;
  border-style: solid;
  border-width: 1px;
}

/* The big box where all the other boxes lives */
table#layouttable {
  border-style: none;
  margin-right:  8%;
  margin-left:   5%;
  width:        84%;
  margin-top:    0;
  margin-bottom: 3%;
  border-spacing: 10px 20px;
}

td#contents {
  border-style: none;
  width: 100%;
  vertical-align: top;
  padding: 2em;
  background-color: #ffffff;
}

ul#navigationlist {
  border-style: none;
  padding: 20px;
  background-color: #fcfcfc;
}
li.notcurrentnav {
  list-style-type: circle;
}
li.currentnav {
  list-style-type: disc;
  background-color: #e9e9e9;
}
li.notcurrentnav a {
  display: block;
  padding: 4px;
}
li.currentnav span {
  display: block;
  padding: 4px;
  background-color: #a0a0a0;
}
li.notcurrentnav a:hover {
  background-color: #d0d0d0;
}

span.linktoself {
  background-color: red;
}

/* Link to http://www.lysator.liu.se/~jc/wotsap/... */
a.internallink {
  background-color: #ffffff;
}
/* Link to http://webware.lysator.liu.se/~jc/wotsap/... */
a.webwarelink {
  background-color: #f0fff0;
}
/* Link to something else */
a.externallink {
  background-color: #f0f0f0;
}

address {
  text-align: center
}

/* Definition lists */

dl {
  margin-left: 1em;
}
dt {
  font-weight: bold;
}
dd {
  margin-bottom: 1em;
  background-color: #f7f7f7;
  border-style: dotted;
  border-width: 1px;
  padding: 0.5em;
}
dt {
  padding: 0.5em;
}

/* Search */

div.search {
  border-style: dotted;
  padding: 1em;
  margin-bottom: 1em;
}

div.search h2 {
  margin: 0em;
}
div.searchdesc {
  padding: 0.5em;
}
div.search form {
  background-color: #8080ff;
  padding: 0.3em;
}
div.search form .optional {
  background-color: #6767df;
}
div.search form .optional input {
  background-color: #cccccc;
}
div.search form input:focus {
  background-color: #b0ffb0;
}
div.search form .fieldtype {
  font-size: smaller;
  background-color: #8080ff;
}
div.search form .fieldtype a {
  background-color: #c0c0ff;
  padding: 2px;
}

div.searchactionlink {
  background-color: #7070ff;
  padding: 1em;
  text-align: center;
  font-size: larger;
}
div.searchactionlinksmall {
  background-color: #7070ff;
  padding: 1em;
  text-align: center;
  font-size: smaller;
}
div.searchexamples {
  background-color: #90ff90;
  padding: 0.3em;
}
div.searchexamples li {
  padding: 3px;
}
div.searchexamples li a {
  padding: 3px;
}

div.scaleimage {
  float: right;
  clear: both;
  width: 396px; /* _Content_ width. The padding is outside. */
  border-style: none;
  text-align: center;
  background-color: #aabbcc;
  padding: 1em;
  margin-left: 0.5em;
  margin-right: -15%;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
div.scaleimage div.imagecaption {
  padding-bottom: 0.5em;
  font-size: larger;
}
div.scaleimage img {
  margin-bottom: 0;
  border-width: 0;
}
div.scaleimage div.imagelinks {
  background-color: #99a3a8;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  margin-top: 0;
  border-top: 0;
}
div.scaleimage div.imagelinks a {
  padding-right: 1em;
  padding-left: 1em;
  /*width: 33%;*/
  /*display: block;*/
  /*font-size: smaller;*/
  /*width: 25%;*/
  /*border-style: solid;*/
}
div.scaleimage div.imagetext {
  padding-top: 1em;
}

/* Leaf web pages */
body.leafimagepage div {
  background-color: #aabbcc;
  padding: 0.5em;
  margin: 0.5em;
  text-align: center;
}
body.leafimagepage img {
  border-style: none;
  margin-left:  -1em;
  margin-right: 1em;
}

div.floatcontainer {
  clear: both;
}

div.commentdoc div {
  padding-bottom: 0.5em;
  padding-top:    0.5em;
}
div.commentdoc pre {
  margin-bottom:    0.1em;
  margin-top:       0.1em;
  padding:          0.3em;
  background-color: #eeeeee;
  border-style:     dashed;
  border-width:     1px;
}

div.download {
  border-style:     dashed;
  border-width:     1px;
  padding:          0.7em;
  margin:           0.3em;
  background-color: #ddffdd;
}
div.download h4 {
  margin: 0em;;
}
div.download ul {
  margin: 0em;;
}
pre.cmdoutput {
  border-style:     dashed;
  border-width:     1px;
  padding:          0.7em;
  font-size:        smaller;
  background-color: #f4f4f4;
}

div.screenshot {
  border-style:     dashed;
  border-width:     1px;
  background-color: #eeeeee;
  margin: 1em;
  padding: 0.5em;
  text-align: center;
}
div.imagecaption {
  font-size: larger;
}

div.patchbox {
  border-style:    dashed;
  border-width:    1px;
  margin: 0.5em;
  padding: 0.5em;
}