/****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.94 2008/06/17 11:49:27 gumpu Exp $
 */

body
{
    background-color:    white;
    color:               black;
    font-family:         Tahoma, sans-serif;
    width:600px;
    margin-left:320px;
    
}

#navigation {
    font-style: normal;
    position:fixed;
    left:0;
    overflow-y:auto;
    top:0;
    bottom:0;
    width: 250px;
    /* border-style:solid; */
    /* border-color:#ff8300; */
    padding: 20px;
    margin:0;
    padding-top:200px;
    BACKGROUND-COLOR:white;
    background-image: url("./comic-logo-small.png");
    background-repeat: no-repeat;
    background-size:contain;
    
}

ul {
        list-style-type: none; 
}


pre
{
    font-family: monospace;
    white-space: pre;
    padding-left: 8px;

}

/* pre.source */
/* { */
/*     background-color: #ffe; */
/*     border: dashed #aa9 1px; */
/* } */
pre.source
{
    padding: 0.5em;
    width: 48em;
    background: rgb(153,153,153);
    color: rgb(255,255,255); 
    border: dashed 1px #000;
    font-family: Courier, Monaco;
    font-size : 9pt;
    /*font-size: 0.8em;*/
    margin-top: 1em;
    margin-bottom: 2em;
}

code
{
    font-family: Courier, Monaco;
    /*    background: rgb(153,153,153); */
    background: rgb(235,235,100);
    /* color: rgb(255,255,255); */
    color: rgb(0,0,0);
    white-space: pre;
    text-align: left; 
    font-size: 80%;
}

p
{
    margin:15px;
}

a, a:visited
{
    color:black;
}
a:hover, a:active
{
    color:              #ff8300;
}
p.item_name 
{
    font-weight: bolder;
    margin:5px;
    font-size: 120%;
}

#content
{
    font-size:           100%;
    color:               black;
    background-color:    white;
    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;
    border-color:        rgb(0,0,0);
    text-align:          justify;
}

a.menuitem
{
    font-size: 120%;
    font-variant:        normal;
    text-transform:      none;
    font-weight:         normal;
    border-color:        rgb(159,126,57);
    padding:             1px 8px 3px 1px;

}

#logo
{
    /* display: block; */
    /* height:250px; */
    /* background-image:   url("comic-logo-small.png"); */
    /* background-repeat: no-repeat; */
    /* background-position: center; */
        /* vertical-align:  bottom; */
    /* margin-bottom:48px; */
}

#logo a
{
    position:           absolute;
    top:                242px;
    font-size:          118%;
    font-style:         normal;
    font-variant:       normal;
    text-transform:     none;
    font-weight:        bold;
    border-color:       rgb(255,255,255);
    text-align:         left;
}

#extra, #extra a
{
    font-size: 128%;
    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: 0;
    border-color:        rgb(195,165,100);
    text-align:          left;
}

a
{
    color:              black;
    text-decoration:    none;
}

a:hover, a:active
{
    color:              #ff8300;
}
h2 a:hover, h2 a:active
{
    color: black;
}

a.indexitem
{
    display: block;
}

h1, h2, h3, h4, h5, h6
{
    background-color: #ff8300;
    font-family:      Tahoma, sans-serif;
    font-style:       normal;
    font-variant:     normal;
    text-transform:   none;
    font-weight:      bold;
    padding:          8px;
}

h1
{
    font-size: 151%;
}

h2
{
    font-size: 142%;
}

h3
{
    font-size: 133%;
}

h4
{
    font-size: 124%;
}

h5
{
    font-size: 115%;
}

h6
{
    font-size: 106%;
}

#navigation a
{
    text-decoration: none;
}


#extra a
{
    text-decoration: none;
}

#logo a
{
    text-decoration: none;
}

#extra a:hover
{
}



.menuitem       {width: auto;}
#content        {width: auto;}
.menuitem       {display:block; background-color:white;}

div#footer
{
    background-color: lightgray;
    clear:      left;
    width:      100%;
    font-size:   71%;
}

div#footer
{
    display:none;
}

div#footer a
{
    color: black;
}

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

span.line_number
{
    color: #808080;
}

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