.synopsis, .classsynopsis
{
  /* tango:aluminium 1/2 */
  background: #eeeeec;
  border: solid 1px #d3d7cf;
  padding: 0.5em;
}
.programlisting
{
  /* tango:sky blue 0/1 */
  background: #e6f3ff;
  border: solid 1px #729fcf;
  padding: 0.5em;
}
.variablelist
{
  padding: 4px;
  margin-left: 3em;
}
.variablelist td:first-child
{
  vertical-align: top;
}

@media screen {
  sup a.footnote
  {
    position: relative;
    top: 0em ! important;
    
  }
  /* this is needed so that the local anchors are displayed below the naviagtion */
  div.footnote a[name], div.refnamediv a[name], div.refsect1 a[name], div.refsect2 a[name], div.index a[name], div.glossary a[name], div.sect1 a[name]
  {
    display: inline-block;
    position: relative;
    top:-5em;
  }
  /* this seems to be a bug in the xsl style sheets when generating indexes */
  div.index div.index
  {
    top: 0em;
  }
  /* make space for the fixed navigation bar and add space at the bottom so that
   * link targets appear somewhat close to top
   */
  body
  {
    padding-top: 3.2em;
    padding-bottom: 20em;
  }
  /* style and size the navigation bar */
  table.navigation#top
  {
    position: fixed;
    /* tango:scarlet red 0/1 */
    background: #ffe6e6;
    border: solid 1px #ef2929;
    margin-top: 0;
    margin-bottom: 0;
    top: 0;
    left: 0;
    height: 3em;
    z-index: 10;
  }
  .navigation a, .navigation a:visited
  {
    /* tango:scarlet red 3 */
    color: #a40000;
  }
  .navigation a:hover
  {
    /* tango:scarlet red 1 */
    color: #ef2929;
  }
  td.shortcuts
  {
    /* tango:scarlet red 1 */
    color: #ef2929;
    font-size: 80%;
    white-space: nowrap;
  }
}
@media print {
  table.navigation {
    visibility: collapse;
    display: none;
  }
  div.titlepage table.navigation {
    visibility: visible;
    display: table;
    /* tango:scarlet red 0/1 */
    background: #ffe6e6;
    border: solid 1px #ef2929;
    margin-top: 0;
    margin-bottom: 0;
    top: 0;
    left: 0;
    height: 3em;
  }
}

.navigation .title
{
  font-size: 200%;
}

div.gallery-float
{
  float: left;
  padding: 10px;
}
div.gallery-float img
{
  border-style: none;
}
div.gallery-spacer
{
  clear: both;
}

a, a:visited
{
  text-decoration: none;
  /* tango:sky blue 2 */
  color: #3465a4;
}
a:hover
{
  text-decoration: underline;
  /* tango:sky blue 1 */
  color: #729fcf;
}

div.table table
{
  border-collapse: collapse;
  border-spacing: 0px;
  /* tango:aluminium 3 */
  border: solid 1px #babdb6;
}

div.table table td, div.table table th
{
  /* tango:aluminium 3 */
  border: solid 1px #babdb6;
  padding: 3px;
  vertical-align: top;
}

div.table table th
{
  /* tango:aluminium 2 */
  background-color: #d3d7cf;
}

hr
{
  /* tango:aluminium 3 */
  color: #babdb6;
  background: #babdb6;
  border: none 0px;
  height: 1px;
  clear: both;
}

.footer
{
  padding-top: 3.5em;
  /* tango:aluminium 3 */
  color: #babdb6;
  text-align: center;
  font-size: 80%;
}

.warning
{
  /* tango:orange 0/1 */
  background: #ffeed9;
  border-color: #ffb04f;
}
.note
{
  /* tango:chameleon 0/0.5 */
  background: #d8ffb2;
  border-color: #abf562;
}
.note, .warning
{
  padding: 0.5em;
  border-width: 1px;
  border-style: solid;
}
.note h3, .warning h3
{
  margin-top: 0.0em
}
.note p, .warning p
{
  margin-bottom: 0.0em
}

/* blob links */
h2 .extralinks, h3 .extralinks
{
  float: right;
  /* tango:aluminium 3 */
  color: #babdb6;
  font-size: 80%;
  font-weight: normal;
}

.annotation
{
  /* tango:aluminium 5 */
  color: #555753;
  font-size: 80%;
  font-weight: normal;
}

/* code listings */

.listing_code .programlisting .cbracket   { color: #a40000; } /* tango: scarlet red 3 */
.listing_code .programlisting .comment    { color: #a1a39d; } /* tango: aluminium 4 */
.listing_code .programlisting .function   { color: #000000; font-weight: bold; }
.listing_code .programlisting .function a { color: #11326b; font-weight: bold; } /* tango: sky blue 4 */
.listing_code .programlisting .keyword    { color: #4e9a06; } /* tango: chameleon 3  */
.listing_code .programlisting .linenum    { color: #babdb6; } /* tango: aluminium 3 */
.listing_code .programlisting .normal     { color: #000000; }
.listing_code .programlisting .number     { color: #75507b; } /* tango: plum 2 */
.listing_code .programlisting .preproc    { color: #204a87; } /* tango: sky blue 3  */
.listing_code .programlisting .string     { color: #c17d11; } /* tango: chocolate 2 */
.listing_code .programlisting .type       { color: #000000; }
.listing_code .programlisting .type a     { color: #11326b; } /* tango: sky blue 4 */
.listing_code .programlisting .symbol     { color: #ce5c00; } /* tango: orange 3 */

.listing_frame {
  /* tango:sky blue 1 */
  border: solid 1px #729fcf;
  padding: 0px;
}

.listing_lines, .listing_code {
  margin-top: 0px;
  margin-bottom: 0px;
  padding: 0.5em;
}
.listing_lines {
  /* tango:sky blue 0.5 */
  background: #a6c5e3;
  /* tango:aluminium 6 */
  color: #2e3436;
}
.listing_code {
  /* tango:sky blue 0 */
  background: #e6f3ff;
}
.listing_code .programlisting {
  /* override from previous */
  border: none 0px;
  padding: 0px;
}
.listing_lines pre, .listing_code pre {
  margin: 0px;
}