|
|
|
|
|
|
|
/* See the beginning of "scribble.css". */
|
|
|
|
|
|
|
|
/* Monospace: */
|
|
|
|
.RktIn, .RktRdr, .RktPn, .RktMeta,
|
|
|
|
.RktMod, .RktKw, .RktVar, .RktSym,
|
|
|
|
.RktRes, .RktOut, .RktCmt, .RktVal,
|
|
|
|
.RktBlk {
|
|
|
|
font-family: monospace;
|
|
|
|
white-space: inherit;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Serif: */
|
|
|
|
.inheritedlbl {
|
|
|
|
font-family: serif;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Sans-serif: */
|
|
|
|
.RBackgroundLabelInner {
|
|
|
|
font-family: sans-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;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktErr {
|
|
|
|
color: red;
|
|
|
|
font-style: italic;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktVar {
|
|
|
|
color: #262680;
|
|
|
|
font-style: italic;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktSym {
|
|
|
|
color: #262680;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktSymDef { /* used with RktSym at def site */
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktValLink {
|
|
|
|
text-decoration: none;
|
|
|
|
color: blue;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktValDef { /* used with RktValLink at def site */
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktModLink {
|
|
|
|
text-decoration: none;
|
|
|
|
color: blue;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktStxLink {
|
|
|
|
text-decoration: none;
|
|
|
|
color: black;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktStxDef { /* used with RktStxLink at def site */
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktRes {
|
|
|
|
color: #0000af;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktOut {
|
|
|
|
color: #960096;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktCmt {
|
|
|
|
color: #c2741f;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktVal {
|
|
|
|
color: #228b22;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* ---------------------------------------- */
|
|
|
|
/* Some inline styles */
|
|
|
|
|
|
|
|
.together {
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
|
|
|
|
.prototype, .argcontract, .RBoxed {
|
|
|
|
white-space: nowrap;
|
|
|
|
}
|
|
|
|
|
|
|
|
.prototype td {
|
|
|
|
vertical-align: text-top;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktBlk {
|
|
|
|
white-space: inherit;
|
|
|
|
text-align: left;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktBlk tr {
|
|
|
|
white-space: inherit;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RktBlk td {
|
|
|
|
vertical-align: baseline;
|
|
|
|
white-space: inherit;
|
|
|
|
}
|
|
|
|
|
|
|
|
.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 {
|
|
|
|
}
|
|
|
|
|
|
|
|
.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;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RpackageSpec {
|
|
|
|
padding-right: 0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* ---------------------------------------- */
|
|
|
|
/* For background labels */
|
|
|
|
|
|
|
|
.RBackgroundLabel {
|
|
|
|
float: right;
|
|
|
|
width: 0px;
|
|
|
|
height: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RBackgroundLabelInner {
|
|
|
|
position: relative;
|
|
|
|
width: 25em;
|
|
|
|
left: -25.5em;
|
|
|
|
top: 0px;
|
|
|
|
text-align: right;
|
|
|
|
color: white;
|
|
|
|
z-index: 0;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.RForeground {
|
|
|
|
position: relative;
|
|
|
|
left: 0px;
|
|
|
|
top: 0px;
|
|
|
|
z-index: 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* ---------------------------------------- */
|
|
|
|
/* History */
|
|
|
|
|
|
|
|
.SHistory {
|
|
|
|
font-size: 82%;
|
|
|
|
}
|