189 lines
2.3 KiB
CSS
189 lines
2.3 KiB
CSS
|
|
/* See the beginning of "scribble.css". */
|
|
|
|
/* Monospace: */
|
|
.RktIn, .RktRdr, .RktPn, .RktMeta,
|
|
.RktMod, .RktKw, .RktVar, .RktSym,
|
|
.RktRes, .RktOut, .RktCmt, .RktVal {
|
|
font-family: monospace;
|
|
}
|
|
|
|
/* Serif: */
|
|
.inheritedlbl {
|
|
font-family: serif;
|
|
}
|
|
|
|
/* ---------------------------------------- */
|
|
/* Inherited methods, left margin */
|
|
|
|
.inherited {
|
|
width: 100%;
|
|
margin-top: 0.5em;
|
|
text-align: left;
|
|
background-color: #ECF5F5;
|
|
}
|
|
|
|
.inherited td {
|
|
font-size: 82%;
|
|
padding-left: 1em;
|
|
text-indent: -0.8em;
|
|
padding-right: 0.2em;
|
|
}
|
|
|
|
.inheritedlbl {
|
|
font-style: italic;
|
|
}
|
|
|
|
/* ---------------------------------------- */
|
|
/* Racket text styles */
|
|
|
|
.RktIn {
|
|
color: #cc6633;
|
|
background-color: #eeeeee;
|
|
}
|
|
|
|
.RktInBG {
|
|
background-color: #eeeeee;
|
|
}
|
|
|
|
.RktRdr {
|
|
}
|
|
|
|
.RktPn {
|
|
color: #843c24;
|
|
}
|
|
|
|
.RktMeta {
|
|
color: black;
|
|
}
|
|
|
|
.RktMod {
|
|
color: black;
|
|
}
|
|
|
|
.RktOpt {
|
|
color: black;
|
|
}
|
|
|
|
.RktKw {
|
|
color: black;
|
|
/* font-weight: bold; */
|
|
}
|
|
|
|
.RktErr {
|
|
color: red;
|
|
font-style: italic;
|
|
}
|
|
|
|
.RktVar {
|
|
color: #262680;
|
|
font-style: italic;
|
|
}
|
|
|
|
.RktSym {
|
|
color: #262680;
|
|
}
|
|
|
|
.RktValLink {
|
|
text-decoration: none;
|
|
color: blue;
|
|
}
|
|
|
|
.RktModLink {
|
|
text-decoration: none;
|
|
color: blue;
|
|
}
|
|
|
|
.RktStxLink {
|
|
text-decoration: none;
|
|
color: black;
|
|
/* font-weight: bold; */
|
|
}
|
|
|
|
.RktRes {
|
|
color: #0000af;
|
|
}
|
|
|
|
.RktOut {
|
|
color: #960096;
|
|
}
|
|
|
|
.RktCmt {
|
|
color: #c2741f;
|
|
}
|
|
|
|
.RktVal {
|
|
color: #228b22;
|
|
}
|
|
|
|
/* ---------------------------------------- */
|
|
/* Some inline styles */
|
|
|
|
.together {
|
|
width: 100%;
|
|
}
|
|
|
|
.prototype td {
|
|
vertical-align: text-top;
|
|
}
|
|
.longprototype td {
|
|
vertical-align: bottom;
|
|
}
|
|
|
|
.RktBlk td {
|
|
vertical-align: baseline;
|
|
}
|
|
|
|
.argcontract td {
|
|
vertical-align: text-top;
|
|
}
|
|
|
|
.highlighted {
|
|
background-color: #ddddff;
|
|
}
|
|
|
|
.defmodule {
|
|
width: 100%;
|
|
background-color: #F5F5DC;
|
|
}
|
|
|
|
.specgrammar {
|
|
float: right;
|
|
}
|
|
|
|
.RBibliography td {
|
|
vertical-align: text-top;
|
|
}
|
|
|
|
.leftindent {
|
|
margin-left: 1em;
|
|
margin-right: 0em;
|
|
}
|
|
|
|
.insetpara {
|
|
margin-left: 1em;
|
|
margin-right: 1em;
|
|
}
|
|
|
|
.Rfilebox {
|
|
margin-left: 1em;
|
|
margin-right: 1em;
|
|
}
|
|
|
|
.Rfiletitle {
|
|
text-align: right;
|
|
margin: 0em 0em 0em 0em;
|
|
}
|
|
|
|
.Rfilename {
|
|
border-top: 1px solid #6C8585;
|
|
border-right: 1px solid #6C8585;
|
|
padding-left: 0.5em;
|
|
padding-right: 0.5em;
|
|
background-color: #ECF5F5;
|
|
}
|
|
|
|
.Rfilecontent {
|
|
margin: 0em 0em 0em 0em;
|
|
}
|