.maincolumn {
	FONT-FAMILY: monospace
}
.refpara {
	FONT-FAMILY: monospace
}
.tocset {
	FONT-FAMILY: monospace
}
.stt {
	FONT-FAMILY: monospace
}
.hspace {
	FONT-FAMILY: monospace
}
.schemeinput {
	FONT-FAMILY: monospace
}
.schemereader {
	FONT-FAMILY: monospace
}
.schemeparen {
	FONT-FAMILY: monospace
}
.schememeta {
	FONT-FAMILY: monospace
}
.schememod {
	FONT-FAMILY: monospace
}
.schemekeyword {
	FONT-FAMILY: monospace
}
.schemevariable {
	FONT-FAMILY: monospace
}
.schemesymbol {
	FONT-FAMILY: monospace
}
.schemeresult {
	FONT-FAMILY: monospace
}
.schemestdout {
	FONT-FAMILY: monospace
}
.schemecomment {
	FONT-FAMILY: monospace
}
.schemevalue {
	FONT-FAMILY: monospace
}
.main {
	FONT-FAMILY: serif
}
.refcontent {
	FONT-FAMILY: serif
}
.tocview {
	FONT-FAMILY: serif
}
.tocsub {
	FONT-FAMILY: serif
}
.inheritedlbl {
	FONT-FAMILY: serif
}
I {
	FONT-FAMILY: serif
}
.version {
	FONT-FAMILY: sans-serif
}
H2 {
	MARGIN-TOP: 0px
}
H3 {
	MARGIN-TOP: 1.75em; MARGIN-BOTTOM: 0.5em
}
H4 {
	MARGIN-TOP: 1.75em; MARGIN-BOTTOM: 0.5em
}
H5 {
	MARGIN-TOP: 1.75em; MARGIN-BOTTOM: 0.5em
}
H6 {
	MARGIN-TOP: 1.75em; MARGIN-BOTTOM: 0.5em
}
h7 {
	MARGIN-TOP: 1.75em; MARGIN-BOTTOM: 0.5em
}
h8 {
	MARGIN-TOP: 1.75em; MARGIN-BOTTOM: 0.5em
}
TABLE P {
	MARGIN-TOP: 0px; MARGIN-BOTTOM: 0px
}
BODY {
	BACKGROUND-COLOR: #ffffff; COLOR: black
}
TABLE TD {
	PADDING-LEFT: 0px; PADDING-RIGHT: 0px
}
.maincolumn {
	WIDTH: 43em; MARGIN-LEFT: 15em; MARGIN-RIGHT: -40em
}
.main {
	TEXT-ALIGN: left
}
.navsettop {
	PADDING-BOTTOM: 0.25em; BACKGROUND-COLOR: #f0f0e0; PADDING-LEFT: 0px; PADDING-RIGHT: 0px; PADDING-TOP: 0.25em
}
.navsetbottom {
	PADDING-BOTTOM: 0.25em; BACKGROUND-COLOR: #f0f0e0; PADDING-LEFT: 0px; PADDING-RIGHT: 0px; PADDING-TOP: 0.25em
}
.navsettop {
	BORDER-BOTTOM: #e0e0c0 2px solid; MARGIN-BOTTOM: 1.5em
}
.navsetbottom {
	MARGIN-TOP: 2em; BORDER-TOP: #e0e0c0 2px solid
}
.navleft {
	POSITION: relative; WHITE-SPACE: nowrap; FLOAT: left; MARGIN-LEFT: 1ex
}
.navright {
	POSITION: relative; WHITE-SPACE: nowrap; FLOAT: right; MARGIN-RIGHT: 1ex
}
.nonavigation {
	COLOR: #e0e0e0
}
.searchform {
	PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-LEFT: 0px; PADDING-RIGHT: 0px; DISPLAY: inline; PADDING-TOP: 0px
}
.searchbox {
	BORDER-BOTTOM: #ddd 1px solid; TEXT-ALIGN: center; BORDER-LEFT: #ddd 1px solid; PADDING-BOTTOM: 0px; BACKGROUND-COLOR: #eee; MARGIN: 0px; PADDING-LEFT: 0px; WIDTH: 16em; PADDING-RIGHT: 0px; VERTICAL-ALIGN: middle; BORDER-TOP: #ddd 1px solid; BORDER-RIGHT: #ddd 1px solid; PADDING-TOP: 0px
}
.versionbox {
	POSITION: relative; MARGIN: 0em -13em 0em 0em; WIDTH: 13em; FLOAT: right; HEIGHT: 0em; LEFT: 2em
}
.version {
	FONT-SIZE: small
}
.refpara {
	POSITION: relative; MARGIN: 0em -13em 0em 0em; WIDTH: 13em; FLOAT: right; HEIGHT: 0em; TOP: -1em; LEFT: 2em
}
.refcolumn {
	BORDER-BOTTOM: #f5f5dc 0.5em solid; POSITION: relative; BORDER-LEFT: #f5f5dc 0.5em solid; BACKGROUND-COLOR: #f5f5dc; WIDTH: 13em; DISPLAY: block; FONT-SIZE: 85%; BORDER-TOP: #f5f5dc 0.5em solid; BORDER-RIGHT: #f5f5dc 0.5em solid
}
.refcontent {
	
}
.toclink {
	COLOR: blue; FONT-SIZE: 85%; TEXT-DECORATION: none
}
.toptoclink {
	COLOR: blue; FONT-WEIGHT: bold; TEXT-DECORATION: none
}
.tocset {
	POSITION: relative; WIDTH: 12.5em; FLOAT: left; MARGIN-RIGHT: 2em
}
.tocset TD {
	VERTICAL-ALIGN: text-top
}
.tocview {
	TEXT-ALIGN: left; BACKGROUND-COLOR: #f0f0e0
}
.tocsub {
	TEXT-ALIGN: left; BACKGROUND-COLOR: #f0f0e0; MARGIN-TOP: 0.5em
}
.tocviewlist {
	PADDING-BOTTOM: 0.2em; MARGIN-LEFT: 0.2em; MARGIN-RIGHT: 0.2em; PADDING-TOP: 0.2em
}
.tocsublist {
	PADDING-BOTTOM: 0.2em; MARGIN-LEFT: 0.2em; MARGIN-RIGHT: 0.2em; PADDING-TOP: 0.2em
}
.tocviewlist TABLE {
	FONT-SIZE: 82%
}
.tocviewsublist {
	BORDER-LEFT: #bbf 1px solid; PADDING-LEFT: 0.8em; MARGIN-LEFT: 0.4em
}
.tocviewsublistonly {
	BORDER-LEFT: #bbf 1px solid; PADDING-LEFT: 0.8em; MARGIN-LEFT: 0.4em
}
.tocviewsublisttop {
	BORDER-LEFT: #bbf 1px solid; PADDING-LEFT: 0.8em; MARGIN-LEFT: 0.4em
}
.tocviewsublistbottom {
	BORDER-LEFT: #bbf 1px solid; PADDING-LEFT: 0.8em; MARGIN-LEFT: 0.4em
}
.tocviewsublist {
	MARGIN-BOTTOM: 1em
}
.tocviewsublist TABLE {
	FONT-SIZE: 75%
}
.tocviewsublistonly TABLE {
	FONT-SIZE: 75%
}
.tocviewsublisttop TABLE {
	FONT-SIZE: 75%
}
.tocviewsublistbottom TABLE {
	FONT-SIZE: 75%
}
.tocviewtitle * {
	FONT-WEIGHT: bold
}
.tocviewlink {
	COLOR: blue; TEXT-DECORATION: none
}
.tocviewselflink {
	COLOR: blue; TEXT-DECORATION: underline
}
.tocviewtoggle {
	COLOR: blue; FONT-SIZE: 75%; TEXT-DECORATION: none
}
.tocsublist TD {
	TEXT-INDENT: -1em; PADDING-LEFT: 1em
}
.tocsublinknumber {
	FONT-SIZE: 82%
}
.tocsublink {
	FONT-SIZE: 82%; TEXT-DECORATION: none
}
.tocsubseclink {
	FONT-SIZE: 82%; TEXT-DECORATION: none
}
.tocsubnonseclink {
	PADDING-LEFT: 0.5em; FONT-SIZE: 82%; TEXT-DECORATION: none
}
.tocsubtitle {
	FONT-STYLE: italic; MARGIN: 0.2em; FONT-SIZE: 82%
}
.sepspace {
	FONT-SIZE: 40%
}
.septitle {
	FONT-SIZE: 70%
}
.inherited {
	TEXT-ALIGN: left; BACKGROUND-COLOR: #ecf5f5; MARGIN-TOP: 0.5em; WIDTH: 100%
}
.inherited TD {
	TEXT-INDENT: -0.8em; PADDING-LEFT: 1em; PADDING-RIGHT: 0.2em; FONT-SIZE: 82%
}
.inheritedlbl {
	FONT-STYLE: italic
}
.schemeinput {
	BACKGROUND-COLOR: #eeeeee; COLOR: #cc6633
}
.schemeinputbg {
	BACKGROUND-COLOR: #eeeeee
}
.schemereader {
	
}
.schemeparen {
	COLOR: #843c24
}
.schememeta {
	COLOR: #262680
}
.schememod {
	COLOR: black
}
.schemeopt {
	COLOR: black
}
.schemekeyword {
	COLOR: black; FONT-WEIGHT: bold
}
.schemeerror {
	FONT-STYLE: italic; COLOR: red
}
.schemevariable {
	FONT-STYLE: italic; COLOR: #262680
}
.schemesymbol {
	COLOR: #262680
}
.schemevaluelink {
	COLOR: blue; TEXT-DECORATION: none
}
.schememodlink {
	COLOR: blue; TEXT-DECORATION: none
}
.schemesyntaxlink {
	COLOR: black; FONT-WEIGHT: bold; TEXT-DECORATION: none
}
.schemeresult {
	COLOR: #0000af
}
.schemestdout {
	COLOR: #960096
}
.schemecomment {
	COLOR: #c2741f
}
.schemevalue {
	COLOR: #228b22
}
.leftindent {
	MARGIN-LEFT: 1em; MARGIN-RIGHT: 0em
}
.insetpara {
	MARGIN-LEFT: 1em; MARGIN-RIGHT: 1em
}
.indexlink {
	TEXT-DECORATION: none
}
.nobreak {
	WHITE-SPACE: nowrap
}
.stt {
	
}
.title {
	TEXT-ALIGN: center; MARGIN-TOP: 2.8em; FONT-SIZE: 200%; FONT-WEIGHT: normal
}
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 {
	BACKGROUND-COLOR: #e8e8ff; WIDTH: 100%
}
.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 {
	BACKGROUND-COLOR: #f5f5dc; WIDTH: 100%
}
.specgrammar {
	FLOAT: right
}
.hspace {
	
}
.slant {
	FONT-STYLE: oblique
}
.inferencetop TD {
	BORDER-BOTTOM: black 1px solid; TEXT-ALIGN: center
}
.inferencebottom TD {
	TEXT-ALIGN: center
}
.badlink {
	COLOR: red; TEXT-DECORATION: underline
}
.plainlink {
	COLOR: blue; TEXT-DECORATION: none
}
.techoutside {
	COLOR: #b0b0b0; TEXT-DECORATION: underline
}
.techoutside:hover {
	COLOR: blue; TEXT-DECORATION: underline
}
.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%
}
.mywbr {
	WIDTH: 0px; FONT-SIZE: 1px
}
.compact LI P {
	PADDING-BOTTOM: 0em; MARGIN: 0em; PADDING-LEFT: 0em; PADDING-RIGHT: 0em; PADDING-TOP: 0em
}
.noborder IMG {
	BORDER-BOTTOM: 0px; BORDER-LEFT: 0px; BORDER-TOP: 0px; BORDER-RIGHT: 0px
}
.author {
	POSITION: relative; MARGIN: 0em -23em 0em 0em; WIDTH: 23em; FLOAT: right; HEIGHT: 0em; FONT-SIZE: 82%; TOP: -3em; LEFT: 2em
}
.author:before {
	CONTENT: "by "
}