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

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

.navleft { 
  position: relative;
  float: left;
  white-space: nowrap;
}
.navright { 
  position: relative;
  float: right;
  white-space: nowrap;
}
.nonavigation {
  color: #EEEEEE;
}

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

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

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

.tocviewtitle {
  font-size: 82%;
  font-weight: bold;
  margin: 0.2em 0.2em 0.2em 0.2em;
}

.tocviewlist {
  margin: 0.2em 0.2em 0.2em 0.2em;
}

.tocviewlist td {
  font-size: 82%;
  vertical-align: top;
}

.tocviewlink {
  text-decoration: none;
}

.tocsublist {
  margin: 0.2em 0.2em 0.2em 0.2em;
}

.tocsublist td {
  vertical-align: top;
  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 0.2em 0.2em 0.2em;
}

.sepspace { 
  font-size: 40%;
}

.septitle { 
  font-size: 70%;
}

/* ---------------------------------------- */
/* Inherited methods, left margin */

.inherited {
  width: 100%;
  margin-top: 1em;
  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: top;
}

.together {
  width: 100%;
}

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

.schemeblock td {
  vertical-align: baseline;
}

.argcontract td {
  vertical-align: top;
}

.ghost {
  color: white;
}

.highlighted {
  background-color: #ddddff;
}

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

.specgrammar {
  float: right;
}

.hspace {
}

.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;
}

.techlink {
  text-decoration: none;
  color: black;
}

.techlink:hover {
  text-decoration: underline;
  color: blue;
}

.bibliography td {
  vertical-align: top;
}

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

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

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