html {
  margin  : 0;
  padding : 0;

  /*background       :#071e2e;*/
  /*background       :#00244a;*/
  /*background       :#165e8e;*/
  /*background       :#2679a1;*/
  /*background       :#76a8c7;*/

  background        :#FFFFFF;

}

body {
  font-family      : verdana,arial,sans-serif;
  font-weight      : normal;
  font-size        : 13px;
  line-height      : 19px;

/*
  font-size        : 0.812em;
  line-height      : 1.448em;
*/


  /*color            : #071e2e;*/
  color            : #000000;

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


body {
  min-width: 40em;
}

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

  padding: 0 0 0 0;

  /*border: 1px solid #A0A0A0;*/
/*
  background       : #caecf6;
  background       : #d5f2fa;
  background       : #d7eff9;
  background       : #daf4ff;

  background       : #c8d7e3;
  background       : #d3e3f0;

  background       : #fafcfe;
  background       : #f6f8fd;
  background       : #f1f6fc;
*/
  /*background       : #eef4fb;*/

  background       : white;

}

/*
 * Menu
 *
 */

#menu {
  /*color      : #d7eff9;*/
  /*color      : #8ccce5;*/
  color      : #5499b6;
  /*color        : #3a84a7;*/
  background : #071e2e;

  padding    : 0.35em 0.3em 0.35em 0.3em;
  margin     : 0 0 3em 0;


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

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

/*
  font-family: monospace;
  font-size: 90%;

  letter-spacing: 0.12em;
  word-spacing: 0.07em;
*/
}

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

#menu a:link, #menu a:visited {

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


#menu a:hover {

  border-bottom: 1px solid #8ccce5;

  color      : #8ccce5;
}

#menu #active {
  margin-left:  0.7em;
  margin-right: 0.7em;

  color      : #8ccce5;
}

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

  padding    : 1em 0 0.5em 0;


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

  /*
  font-size        : 0.74em;
  line-height      : 1.34em;
  */

  text-align: center;
}

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

  /*color:#2e87a5;*/
  color:#1d6699;
  /*color:#0a4066;*/

  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;
}

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

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

a:link {

  color:#287ba3;
  color:#2769a6;
  color:#053671;
  color:#053695;
  color:#0536b4;
  color:#0536d2;
}



/*
 *
 *
 */


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

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

h1, h2, h3, h4, h5, h6 {
  /*font-family      : sans-serif;*/
  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-top : 1.5em;}
h2 { margin-top : 1.3em;}
h3 { margin-top : 1.1em;}

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


/*
 * lists
 *
 */


/* table of content */
ul.toc li {
    padding        : .4em 0em 0em 0em;
}



/* 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;

/*
  font-size        : 0.82em;
  line-height      : 1.38em;
*/
}



/* 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;
}
