/****h* ROBODoc/ROBODoc Cascading Style Sheet
 * FUNCTION
 *   This is the default cascading style sheet for documentation
 *   generated with ROBODoc.
 *   You can edit this file to your own liking and then use
 *   it with the option
 *      --css <filename>
 *
 *   This style-sheet defines the following layout
 *      +----------------------------------------+
 *      |    logo                                |
 *      +----------------------------------------+
 *      |    extra                               |
 *      +----------------------------------------+
 *      |                              | navi-   |
 *      |                              | gation  |
 *      |      content                 |         |
 *      |                              |         |
 *      +----------------------------------------+
 *      |    footer                              |
 *      +----------------------------------------+
 *
 *   This style-sheet is based on a style-sheet that was automatically
 *   generated with the Strange Banana stylesheet generator.
 *   See http://www.strangebanana.com/generator.aspx
 *
 ******
 * $Id: html_generator.c,v 1.83 2006/12/10 12:32:41 thuffir Exp $
 */

body
{
    background-color:    rgb(255,255,255);
    color:               rgb(98,84,55);
    font-family:         Arial, serif;
    border-color:        rgb(226,199,143);
}

pre
{
    font-family:      monospace;
    margin:      15px;
    padding:     5px;
    white-space: pre;
    color:       #000;
}

pre.source
{
    background-color: #ffe;
    border: dashed #aa9 1px;
}

p
{
    margin:15px;
}

p.item_name 
{
    font-weight: bolder;
    margin:5px;
    font-size: 120%;
}

div.warning
{
  margin-right:          50px;
  margin-left:           50px;
  padding-right:         5px;
  padding-left:          5px;
  border-left:           5px rgb(250,100,100) solid;
  background-color:      rgb(255,230,230);
}

#content
{
    font-size:           100%;
    color:               rgb(0,0,0);
    background-color:    rgb(255,255,255);
    border-left-width:   0px; 
    border-right-width:  0px; 
    border-top-width:    0px; 
    border-bottom-width: 0px;
    border-left-style:   none; 
    border-right-style:  none; 
    border-top-style:    none; 
    border-bottom-style: none;
    padding:             40px 31px 14px 17px;
    border-color:        rgb(0,0,0);
    text-align:          justify;
}

#navigation
{
    background-color: rgb(98,84,55);
    color:            rgb(230,221,202);
    font-family:      "Times New Roman", serif;
    font-style:       normal;
    border-color:     rgb(0,0,0);
}

#navigation a
{
  font-size: 140%;
  background-color:    rgb(0,0,0);
  color:               rgb(195,165,100);
  font-variant:        normal;
  text-transform:      none;
  font-weight:         normal;
  padding:             1px 8px 3px 1px;
  margin-left:         5px; 
  margin-right:        5px; 
  margin-top:          5px; 
  margin-bottom:       5px;
  border-color:        rgb(159,126,57);
  text-align:          right;
  text-decoration:     none;
  display:             block;
  width:               auto;
}

#navigation a.level2
{
  font-size: 120%;
  background-color:    rgb(50,50,50);
  padding-right:20px;
}

#navigation a:hover
{
    background-color:   rgb(195,165,100);
    color:              rgb(0,0,0);
}


#logo, #logo a
{
  font-size: 130%;
  background-color:   rgb(198,178,135);
  color:              rgb(98,84,55);
  font-family:        Georgia, serif;
  font-style:         normal;
  font-variant:       normal;
  text-transform:     none;
  font-weight:        bold;
  padding:            20px 18px 20px 18px;
  border-color:       rgb(255,255,255);
  text-align:         right;
}

#extra, #extra a
{
    font-size: 128%;
    background-color:    rgb(0,0,0);
    color:               rgb(230,221,202);
    font-style:          normal;
    font-variant:        normal;
    text-transform:      none;
    font-weight:         normal;
    border-left-width:   0px; 
    border-right-width:  0px; 
    border-top-width:    0px; 
    border-bottom-width: 0px;
    border-left-style:   none; 
    border-right-style:  none; 
    border-top-style:    none; 
    border-bottom-style: none;
    padding: 12px 12px 12px 12px;
    border-color:        rgb(195,165,100);
    text-align:          center;
}

#content a
{
    color:              rgb(159,126,57);
    text-decoration:    none;
}

#content a:hover, #content a:active
{
    color:              rgb(255,255,255);
    background-color:   rgb(159,126,57);
}

a.indexitem
{
    display: block;
}

h1, h2, h3, h4, h5, h6
{
  background-color: rgb(221,221,221);
  font-family:      Arial, serif;
  font-style:       normal;
  font-variant:     normal;
  text-transform:   none;
  font-weight:      normal;
  padding-left:     5px;
}

h1
{
  font-size: 151%;
  border-left:5px rgb(159,126,57) solid;
}

h2
{
  background-color: rgb(230,230,230);
  font-size: 142%;
  padding-left: 20px;
  border-left:5px rgb(198,178,135) solid;
}

h3
{
  background-color: rgb(235,235,235);
  font-size: 133%;
  padding-left: 40px;
  border-left:5px rgb(217,200,173) solid;
}

h4
{
    background-color: rgb(240,240,240);
    font-size: 124%;
  padding-left: 60px;
}

h5
{
    background-color: rgb(245,245,245);
    font-size: 115%;
  padding-left: 80px;
}

h6
{
    background-color: rgb(250,250,250);
    font-size: 106%;
  padding-left: 100px;
}

#extra a
{
    text-decoration: none;
}

#logo a
{
    text-decoration: none;
}

#extra a:hover
{
}

/* layout */
#navigation
{
    width:      22%; 
    position:   relative; 
    top:        0; 
    right:      0; 
    float:      right; 
    text-align: center;
}

#content        {margin-right: 22%; width: auto}


div#footer
{
    background-color: rgb(198,178,135);
    color:      rgb(98,84,55);
    clear:      left;
    width:      100%;
    font-size:   71%;
}

div#footer a
{
    background-color: rgb(198,178,135);
    color:            rgb(98,84,55);
}

div#footer p
{
    margin:0;
    padding:5px 10px
}

span.keyword
{
    color: #00F;
}

span.comment
{
    color: #080;
}

span.quote
{
    color: #F00;
}

span.squote
{
    color: #F0F;
}

span.sign
{
    color: #008B8B;
}


@media print
{
    #navigation {display: none;}
    #content    {padding: 0px;}
    #content a  {text-decoration: underline;}
}