html {
  margin  : 0;
  padding : 0;

  background       : #FFFFFF;
}

body {
  font-family      : Verdana, "Bitstream Vera Sans", sans-serif;
  font-weight      : normal;
  font-size        : 13px;
  line-height      : 19px;

  color            : #000000;

  margin  : 1.3em 2em 0 2em;
  padding : 0;
}


body {
  min-width: 40em;
}

#container {
  max-width: 46em;
  margin: 0 auto;

  padding: 0 0 0 0;

  background       : white;
}


/*
 * Menu
 *
 */

div.menu {
  color      : #5499b6;
  background : #071e2e;

  padding    : 0.35em 0.3em 0.35em 0.3em;

  /* Readability enhancements for dark backgrounds.  */
  font-size: 86%;

  letter-spacing: 0.07em;
  word-spacing: 0.07em;
}

div.menu a {
  margin : 0 0.7em 0 0.7em;
}

div.menu a:link, div.menu a:visited {

  text-decoration:none;
  color:#5499b6;
}


div.menu a:hover {
  border-bottom: 1px solid #8ccce5;

  color      : #8ccce5;
}

div.menu .active, div.menu .sub-active {
  padding    : 0.57em 0.7em 0.57em 0.7em;
  color      : #8ccce5;
}

div.menu .sub-active {
  background : #0d3856;
  padding-bottom: 0.65em;
}


/*
 * Second level menu.
 */

#menu-l1 {
  color      : #8ccce5;
  background : #0d3856;

  /* Readability enhancements for dark backgrounds.  */
  font-size  : 86%;

  letter-spacing: 0.07em;
  word-spacing: 0.07em;
}

#menu-l1 a:link, #menu-l1 a:visited {
  color        : #8ccce5;
}

#menu-l1 {
  padding-left: 0.5em; /* Ensure that both menu lines are aligned. */
}

#menu-l1 a {
  margin     : 0 0.5em 0 0.5em;
}

#menu-l1 .active {
  padding    : 0 0.5em 0 0.5em;
}

#menu-l1 .active {
  color        : #9be2fe;
  font-weight  : bold;
}


/*
 * Footer
 *
 */
#footer {
  color       : #3a84a7;

  padding     : 1em 0 0.5em 0;

  font-size   : 10px;
  line-height : 15px;

  text-align: center;
}

#footer a:link, #footer a:visited {

  color:#1d6699;
  text-decoration: underline;
}

#footer a {
  margin-left: 0.7em;
  margin-right: 0.7em;
}

#footer p {
  padding: 0;
  margin: 0.3em 0 0 0;
}

/* Distribution terms.  */
#footer #terms {
  text-align: justify;

  font-size        : 110%;
  font-family      : monospace;

  padding          : 1em 0 0.5em 0;
}


/*
 * Content
 *
 */

#content {
  padding    : 0 0.1em 0 1.3em;
  margin     : 2.8em 0 0 0;
}

#content p,
#content ol,
#content ul,
#content dl {
  text-align: justify;
}

#content h1 {
  margin-left: -0.89em;
}

a:link {
  color:#0536d2;
}


/*
 *
 *
 */

#banner {
  height: 80px;
  padding: 0;
  margin: 0;
  background       : #000000;
}

#banner img {
  border: 0;
  padding: 0;
  margin: 0;
}

#content h1.blue {
  color: #0d3856;
  margin-left: 0em;
}

h1, h2, h3, h4, h5, h6 {
  font-weight      : 500;
}

h1 { font-size     : 155%; }
h2 { font-size     : 130%; }
h3 { font-size     : 125%; }
h4 { font-size     : 110%; }
h5 { font-size     : 106%; }
h6 { font-size     : 100%; }

h1 { margin     : 1.5em 0 1em 0;}
h2 { margin-top : 1.3em;}
h3 { margin-top : 1.1em;}

p.indent {
  margin-left      : 1.5em;
}


/*
 * table of content
 *
 */

ul.toc li {
    padding        : .4em 0em 0em 0em;
}


/* Toc links don't need to show when they are visited. */
.toc a:visited {
  color:#0536d2;
}


/*
 * lists
 *
 */



/* list of links */
ul.menu {
  list-style-type  : none;
}

ul.menu li {
  padding-top      : 0.3em;
  padding-bottom   : 0.3em;
}



/* @@ I should probably use child selector here */
/* list with multiline list-elements */
ul.multiline li, ol.multiline li, dl.multiline dd {
  padding-top      : 0.16em;
  padding-bottom   : 0.16em;

  font-size        : 11px;
  line-height      : 15px;
}



/* C++ code snippet */
pre.cxx {
  margin-top       : 0em;
  margin-bottom    : 2em;

  margin-left      : 1em;
}



/* make code snippet */
pre.make {
  margin-top       : 0em;
  margin-bottom    : 2em;

  margin-left      : 1em;
}



/* terminal output */
pre.term {
  margin-top       : 0em;
  margin-bottom    : 2em;

  margin-left      : 1em;
}


/* Images */
div.center {
  text-align: center;
}

/* Document info. */
#docinfo {
  margin-top: 4em;
  border-top: 1px dashed #000000;
  font-size: 70%;
}


/* Footnote */

#footnote {
  margin-top       : 2.5em;
}

#footnote hr {
  margin-left: 0;
  margin-bottom: 0.6em;
  width: 8em;
  border-top: 1px solid #000000;
  border-right: none;
  border-bottom: none;
  border-left: none;

}

#footnote ol {
  margin-left: 0;
  padding-left: 1.45em;
}

#footnote li {
  text-align       : left;
  font-size        : 11px;
  line-height      : 15px;

  padding          : .4em 0 .4em 0;
}


/*
 * "item | description" table.
 *
 */

table.description {
  border-style      : none;
  border-collapse   : separate;
  border-spacing    : 0;

  margin            : 0.6em 0 0.6em 0;
  padding           : 0 0 0 0;
}

table.description tr {
  padding           : 0 0 0 0;
  margin            : 0 0 0 0;
}

table.description * td, table.description * th {
  border-style      : none;
  margin            : 0 0 0 0;
  vertical-align    : top;
}

table.description * th {
  font-weight       : normal;
  padding           : 0.4em 1em 0.4em 0;
  text-align        : left;
  white-space       : nowrap;
}

table.description * td {
  padding           : 0.4em 0 0.4em 1em;
  text-align        : justify;
}
