/*
 *    -- CSS Style Sheet for new RScheme web interface --
 */

/*--- global ---*/

body { margin: 0;
       padding: 0;
       background: white;
       color: black;
       font: arial, helvetica, sans-serif;
     }

h1 { font: bold 125% arial, helvetica, sans-serif;
     text-align: center;
     background: #0f1177;
     margin: 0;
     padding: 4px 0;
     /*border-bottom: 4px solid #0f1177;*/
     color: #ccccff; }

div#nav {
     width: 100%;
     background: #302;
     font-family: arial, Helvetica, sans-serif;
     font-weight: bold;
     padding-top: 4px;
     color: white;
     border-bottom: 1px solid white;
     padding-left: 10px;
}

div#nav a {
     color: #aaa;
     background: #008;
     text-decoration: none; 
     padding: 0 4px;
     margin: 0 4px;
     border-top: 1px solid #ccc;
     border-left: 1px solid #ccc;
     border-right: 1px solid #ccc;
        /*     border-bottom: 1px solid white;*/
}

div#nav a:hover {
     background: #44c;
}

div#nav a.current {
     color: #ccccff;
     background: #0f1177;
     border-left: 1px solid white;
     border-right: 1px solid white;
     border-top: 1px solid white;
     border-bottom: 1px solid #0f1177;
}

h2 {
     font: bold 80% arial, helvetica, sans-serif;
     text-align: left;
     border-top: 1px solid #5050f0;
     color: #5050f0;
}

h3 {
     font: italic 80% arial, helvetica, sans-serif;
     text-align: left;
     color: #5050f0;
}

h4 {
     font: italic 80% arial, helvetica, sans-serif;
     text-decoration: underline;
     text-align: left;
     color: #5050f0;
}


pre {
    background: #fffff0 ;
    margin: 10px ;
    padding: 8px ;
    border: 1px solid #000090 ;
}

pre.funcsynopsis {
    background: #eee ;
    /* border: 1px dashed #88f ; */
    border: none ;
}

span.co {
   font-family: times;
   font-size: 150%;
}

div.body {
     padding: 0px 16px 0px;
}

div.trailer {
    border-top: 1px #0000ff solid;
    color: #404080;
}

emphasis {
    font-slant: italic;
}

span.filename {
    font-family: monospace;
    font-weight: bold;
}

a.image img {
    border: 1px white solid;
}

a.image img:hover {
    border: 1px #00f solid;
    background: #ddf;
}

h2 a.text {
    text-decoration: none;
    color: #5050f0;
}

a.text:hover {
    background: #cccccc;
}

td p:first-child {
    margin-top: 0;
}

a.prehot {
    text-decoration: none;
}

a.prehot:hover {
    background: #cccccc;
}

a.cr:hover {
    background: #ddf;
}

td.h {
    color: white;
    background: #000090;
}

td.sh {
    background: #eeeeff;
}

th.h {  /* columnar table header format */
    background: #ccccff;
}

th.hh { /* row-type table header (label) format */
    background: #ccccff;
    padding-right: 2px;
    padding-left: 5px;
    text-align: right;
}

span.tc_prompt {
    color: #808080;
}

span.tc_values {
    font-weight: normal;
    color: red;
}

span.tc_eval {
    font-weight: normal;
    color: green;
}

span.tc_error {
    font-weight: normal;
    color: red;
}

span.tc_stdin {
    font-family: monospace;
    font-weight: bold;
}

/*span.tc_stdin:hover { background: white; }*/

span.tc_stdout {
}

a.cr, a.cr:visited {
    color: blue;
    text-decoration: none;
}

tr.srfi_final {
}

tr.srfi_draft {
    background: #fee;
}

tr.srfi_withdrawn {
    color: #888;
}

tr.mk {
   background: #cfc;
}


span.job_failed {
   color: #c00;
   font-weight: bold;
}

span.job_success {
   color: #0c0;
}

span.job_partial {
   color: #4a0;
}

span.job_running {
   color: #cc0;
}

img.example {
    margin-left: 50px;
    border: 1px solid #000090 ;
}

div.message {
    background: #fffff0 ;
    margin: 10px ;
    padding-left: 8px ;
    padding-right: 8px ;
    border: 1px solid #000090 ;
}

div.errmsg {
    background: #ffe0e0 ;
    margin: 10px ;
    padding-left: 8px ;
    padding-right: 8px ;
    border: 1px solid #090000 ;
}

span.linenum {
    font-size: 80%;
    color: #888;
}

span.unexpectedfailure {
    font-size: 80%;
    color: #F00;
}

input.button {
    border: 1px blue solid;
    margin: 0;
    padding: 0 5px;
    color: white;
    background: #0f1177;
    font: bold 80% arial, helvetica, sans-serif; }

input.button:hover { 
    background: #6060e0;
    color: white; 
}

hr.refentry {
    color: #6060e0;
    background-color: #6060e0;
    height: 3px;
}

span.refentrydiv {
        /*    text-transform: uppercase; */
    font-variant: small-caps;
    font-weight: bold;
    font-size: 80%;
}