Add some images and CSS from Wayback

This commit is contained in:
Lassi Kortela 2022-08-04 00:44:18 +03:00
parent bed53e6e1f
commit 46896d013d
5 changed files with 291 additions and 0 deletions

BIN
www/s/caution.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 1.2 KiB

BIN
www/s/feedback.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 1.1 KiB

BIN
www/s/no-diffs.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 247 B

BIN
www/s/note.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 532 B

291
www/s/style.css Normal file
View File

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