hyper-literate/collects/scribble/scribble.css

/* CSS seems backward: List all the classes for which we want a
   particular font, so that the font can be changed in one place.  (It
   would be nicer to reference a font definition from all the places
   that we want it.)

   As you read the rest of the file, remember to double-check here to
   see if any font is set. */

/* Monospace: */
.maincolumn, .refpara, .tocset, .stt, .hspace,
.schemeinput, .schemereader, .schemeparen, .schememeta,
.schememod, .schemekeyword, .schemevariable, .schemesymbol,
.schemeresult, .schemestdout, .schemecomment, .schemevalue {
  font-family: monospace;
}

/* Serif: */
.main, .refcontent, .tocview, .tocsub, .inheritedlbl, i {
  font-family: serif;
}

/* Sans-serif: */
.version {
  font-family: sans-serif;
}

/* ---------------------------------------- */

h3, h4, h5, h6, h7, h8 {
  margin-top: 1.75em;
  margin-bottom: 0.5em;
}

/* ---------------------------------------- */
/* Main */

body {
  color: black;
  background-color: #ffffff;
}

table td {
  padding-left: 0;
  padding-right: 0;
}

.maincolumn {
  width: 43em;
  margin-right: -40em;
  margin-left: 15em;
}

.main {
  text-align: left;
}

/* ---------------------------------------- */
/* Navigation */

.navset {
  background-color: #f0f0e0;
  padding: 0.25em 0 0.25em 0;
}

.navleft {
  margin-left: 1ex;
  position: relative;
  float: left;
  white-space: nowrap;
}
.navright {
  margin-right: 1ex;
  position: relative;
  float: right;
  white-space: nowrap;
}
.nonavigation {
  color: #e0e0e0;
}

/* ---------------------------------------- */
/* Version */

.versionbox {
  position: relative;
  float: right;
  left: 2em;
  height: 0em;
  width: 13em;
  margin: 0em -13em 0em 0em;
}
.version {
  font-size: small;
}

/* ---------------------------------------- */
/* Margin notes */

.refpara {
  position: relative;
  float: right;
  left: 2em;
  top: -1em;
  height: 0em;
  width: 13em;
  margin: 0em -13em 0em 0em;
}

.refcolumn {
  background-color: #F5F5DC;
  display: block;
  position: relative;
  width: 13em;
  font-size: 85%;
  border: 0.5em solid #F5F5DC;
}

.refcontent {
}

/* ---------------------------------------- */
/* Table of contents, inline */

.toclink {
  text-decoration: none;
  color: blue;
  font-size: 85%;
}

.toptoclink {
  text-decoration: none;
  color: blue;
  font-weight: bold;
}

/* ---------------------------------------- */
/* Table of contents, left margin */

.tocset {
  position: relative;
  float: left;
  width: 12.5em;
  margin-right: 2em;
}
.tocset td {
  vertical-align: text-top;
}

.tocview {
  text-align: left;
  background-color: #f0f0e0;
}

.tocsub {
  text-align: left;
  margin-top: 0.5em;
  background-color: #f0f0e0;
}

.tocviewlist, .tocsublist {
  margin-left: 0.2em;
  margin-right: 0.2em;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
}
.tocviewlist table {
  font-size: 82%;
}

.tocviewsublist, .tocviewsublistonly, .tocviewsublisttop, .tocviewsublistbottom {
  margin-left: 0.4em;
  border-left: 1px solid #bbf;
  padding-left: 0.8em;
}
.tocviewsublist {
   margin-bottom: 1em;
}
.tocviewsublist table, 
.tocviewsublistonly table,
.tocviewsublisttop table, 
.tocviewsublistbottom table {
  font-size: 75%;
}

.tocviewtitle * {
  font-weight: bold;
}

.tocviewlink {
  text-decoration: none;
  color: blue;
}

.tocviewselflink {
  text-decoration: underline;
  color: blue;
}

.tocviewtoggle {
  text-decoration: none;
  color: blue;
  font-size: 75%; /* looks better, and avoids bounce when toggling sub-sections due to font alignments */
}

.tocsublist td {
  padding-left: 1em;
  text-indent: -1em;
}

.tocsublinknumber {
  font-size: 82%;
}

.tocsublink {
  font-size: 82%;
  text-decoration: none;
}

.tocsubseclink {
  font-size: 82%;
  text-decoration: none;
}

.tocsubnonseclink {
  font-size: 82%;
  text-decoration: none;
  padding-left: 0.5em;
}

.tocsubtitle {
  font-size: 82%;
  font-style: italic;
  margin: 0.2em;
}

.sepspace {
  font-size: 40%;
}

.septitle {
  font-size: 70%;
}

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

/* ---------------------------------------- */
/* Scheme text styles */

.schemeinput {
  color: #cc6633;
  background-color: #eeeeee;
}

.schemeinputbg {
  background-color: #eeeeee;
}

.schemereader {
}

.schemeparen {
  color: #843c24;
}

.schememeta {
  color: #262680;
}

.schememod {
  color: black;
}

.schemeopt {
  color: black;
}

.schemekeyword {
  color: black;
  font-weight: bold;
}

.schemeerror {
  color: red;
  font-style: italic;
}

.schemevariable {
  color: #262680;
  font-style: italic;
}

.schemesymbol {
  color: #262680;
}

.schemevaluelink {
  text-decoration: none;
  color: blue;
}

.schememodlink {
  text-decoration: none;
  color: blue;
}

.schemesyntaxlink {
  text-decoration: none;
  color: black;
  font-weight: bold;
}

.schemeresult {
  color: #0000af;
}

.schemestdout {
  color: #960096;
}

.schemecomment {
  color: #c2741f;
}

.schemevalue {
  color: #228b22;
}

/* ---------------------------------------- */
/* Some inline styles */

.leftindent {
 margin-left: 1em;
 margin-right: 0em;
}

.insetpara {
 margin-left: 1em;
 margin-right: 1em;
}

.indexlink {
  text-decoration: none;
}

.nobreak {
  white-space: nowrap;
}

.stt {
}

.title {
  font-size: 200%;
  font-weight: normal;
  margin-top: 2.8em;
  text-align: center;
}

pre { margin-left: 2em; }
blockquote { margin-left: 2em; }

ol          { list-style-type: decimal; }
ol ol       { list-style-type: lower-alpha; }
ol ol ol    { list-style-type: lower-roman; }
ol ol ol ol { list-style-type: upper-alpha; }

i {
}

.boxed {
  width: 100%;
  background-color: #E8E8FF;
}

.inlinetop{
  display: inline;
  vertical-align: text-top;
}

.together {
  width: 100%;
}

.prototype td {
  vertical-align: text-top;
}
.longprototype td {
  vertical-align: bottom;
}

.schemeblock td {
  vertical-align: baseline;
}

.argcontract td {
  vertical-align: text-top;
}

.ghost {
  color: white;
}

.highlighted {
  background-color: #ddddff;
}

.defmodule {
  width: 100%;
  background-color: #F5F5DC;
}

.specgrammar {
  float: right;
}

.hspace {
}

.slant {
  font-style: oblique;
}

.inferencetop td {
  border-bottom: 1px solid black;
  text-align: center;
}
.inferencebottom td {
  text-align: center;
}

.badlink {
  text-decoration: underline;
  color: red;
}

.plainlink {
  text-decoration: none;
  color: blue;
}

.techoutside       { text-decoration: underline; color: #b0b0b0; }
.techoutside:hover { text-decoration: underline; color: blue; }

/* .techinside:hover doesn't work with FF, .techinside:hover>
   .techinside doesn't work with IE, so use both (and IE doesn't
   work with inherit in the second one, so use blue directly) */
.techinside                    { color: black; }
.techinside:hover              { color: blue; }
.techoutside:hover>.techinside { color: inherit; }

.bibliography td {
  vertical-align: text-top;
}

.imageleft {
  float: left;
  margin-right: 0.3em;
}

.smaller{
  font-size: 82%;
}

/* A hack, inserted to break some Scheme ids: */
.mywbr {
  width: 0;
  font-size: 1px;
}

.compact li p {
  margin: 0em;
  padding: 0em;
}

.noborder img {
  border: 0;
}

.author {
  position: relative;
  float: right;
  left: 2em;
  top: -3em;
  height: 0em;
  width: 23em; /* very wide to keep author names on separate lines */
  margin: 0em -23em 0em 0em;
  font-size: 82%;
}
.author:before {
  content: "by ";
}