robodoc.css

@font-face {
  font-family: quadrat_serial;
  src: url(quadrat_serial.ttf);
}

@font-face {
  font-family: courier_prime;
  src: url(courier_prime.ttf);
}

@font-face {
  font-family: courier_prime_bold;
  src: url(courier_prime_bold.ttf);
}

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

pre
{
    margin-top:          5px;
    margin-right:        15px;
    margin-bottom:       25px;
    margin-left:         0px;
    padding:             5px;
    white-space:         pre;
    color:               #000;
    font-size:           90%;
}

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

p
{
    margin:15px;
}

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

#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:      quadrat_serial, serif;
    font-style:       normal;
    border-color:     rgb(0,0,0);
}

a.menuitem
{
    font-size: 135%;
    background-color:    rgb(0,0,0);
    color:               rgb(195,165,100);
    font-variant:        normal;
    text-transform:      none;
    font-weight:         normal;
    padding-top:         3px;
    padding-right:       8px;
    padding-bottom:      0px;
    padding-left:        1px;
    margin-left:         3px; 
    margin-right:        3px; 
    margin-top:          3px; 
    margin-bottom:       3px;
    border-color:        rgb(159,126,57);
    text-align:          right;
}

#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:      courier_prime;
    font-style:       normal;
    font-variant:     normal;
    text-transform:   none;
    font-weight: bolder;
    padding-top: 4px;
}

h1
{
    font-family:  quadrat_serial, serif;
    font-size: 151%;
}

h2
{
    font-size: 112%;
}

h3
{
    font-size: 110%;
}

h4
{
    font-size: 108%;
}

h5
{
    font-size: 106%;
}

h6
{
    font-size: 103%;
}

#navigation a
{
    text-decoration: none;
}

.menuitem:hover
{
    background-color:   rgb(195,165,100);
    color:              rgb(0,0,0);
}

#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;
    margin-left: 10px;
}

.menuitem       {width: auto;}
#content        {width: auto;}
.menuitem       {display: block;}


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

span.line_number
{
    color: #808080;
}

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