diff --git a/www/s/caution.png b/www/s/caution.png new file mode 100644 index 0000000..2f0e630 Binary files /dev/null and b/www/s/caution.png differ diff --git a/www/s/feedback.png b/www/s/feedback.png new file mode 100644 index 0000000..e066352 Binary files /dev/null and b/www/s/feedback.png differ diff --git a/www/s/no-diffs.png b/www/s/no-diffs.png new file mode 100644 index 0000000..8386355 Binary files /dev/null and b/www/s/no-diffs.png differ diff --git a/www/s/note.png b/www/s/note.png new file mode 100644 index 0000000..ad24f85 Binary files /dev/null and b/www/s/note.png differ diff --git a/www/s/style.css b/www/s/style.css new file mode 100644 index 0000000..65ef171 --- /dev/null +++ b/www/s/style.css @@ -0,0 +1,291 @@ +/* + * -- 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%; +}