--- /dev/null
+
+/* 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;
+}