body {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  color:#000;
  background-color:#EDB;
  background-image:url('images/Candlelight_Cream.jpg');
  background-attachment:scroll
}
.cream {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  color:#000;
  background-color:#EDB;
  background-image:url('images/Candlelight_Cream.jpg');
  background-attachment:scroll
}
body.sky {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  color:#000;
  background-color:#8DF;
  background-image:url('images/bluesky2.jpg');
  background-attachment:fixed
}
ul { list-style-image:url('images/bullet0.gif'); }
ul ul { list-style-image:url('images/bullet1.gif'); }
ul ul ul { list-style-image:url('images/bullet2.gif'); }
ul.clean {
  list-style-image:none;
  list-style-type:disc
}
ul.clean ul {
  list-style-image:none;
  list-style-type:circle
}
ul.clean ul ul {
  list-style-image:none;
  list-style-type:square
}
img.icon {
  border-style:none;
  max-width:20px;
  max-height:20px
}
a:link {
  color:#930;
  text-decoration:underline
}
a:visited {
  color:#660;
  text-decoration:underline
}
a:active {
  color:#F00;
  text-decoration:underline
}
a:hover {
  color:#00F;
  text-decoration:underline
}
.nobr { white-space:nowrap }
.nowrap { white-space:nowrap }
.sky img { border:solid 2px }
dfn { font-style:italic }
table.frame {
  border-style:none;
  border-collapse:collapse;
  border-spacing:0px;
  padding:0px
}
div.bq {
  margin-left:2.5em;
  margin-right:2.5em;
  margin-top:0.5em;
  margin-bottom:0.5em
}
.blackline { color:#000 }
.math {
  font-family:"Times New Roman", "Times Roman", "Times", serif;
  font-style:normal;
}
.math th {
  font-family:"Times New Roman", "Times Roman", "Times", serif;
  font-style:normal;
}
.sym { font-family:"Arial Unicode MS", "Arial" }
.text { font-family:"Arial", "Helvetica", "Geneva", sans-serif }
.script { font-family:"Kunstler Script", "Script", cursive }
.equation {
  font-family:"Times New Roman", "Times Roman", "Times", serif;
  font-weight:normal;
  font-style:normal;
  border:none 0px;
  padding:0px;
  border-collapse:collapse;
  white-space:nowrap
}
.equation caption {
  caption-side:bottom;
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  padding-top:4px
}
.equation td {
  padding:0px;
  white-space:nowrap
}
table.equation {
  border-collapse:collapse;
  border-spacing:0px
}
.centered { text-align:center }
.centered table {
  margin-left:auto;
  margin-right:auto;
  text-align:left;
}
.uncentered { text-align:left }
.uncentered table {
  margin-left:0px;
  margin-right:auto
}
.inline { display:inline-table }
sub {font-size:83%}
sup {font-size:83%}
.footnote {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  font-size:90%;
  font-style:normal;
  color:black;
  text-align:left
}
.gloss a:link {
  color:#930;
  text-decoration:none
}
.gloss a:visited {
  color:#660;
  text-decoration:none
}
.gloss a:active {
  color:#F00;
  text-decoration:none
}
.gloss a:hover {
  color:#00F;
  text-decoration:underline
}
.glossidx {
  padding:0px;
  border-collapse:separate;
  background-image:url('images/woodgrain1.jpg');
  border:thick ridge #C90;
  border-spacing:8px 5px;
  margin-left:auto;
  margin-right:auto;
  text-align:center
}
.glossidx tr td {
  width:1.5em;
  height:1.5em;
  text-align:center;
  font-weight:bold;
  position:relative;
  color:#930;
  background:beige;
  border-style:ridge;
  border-width:thick;
  border-color:#C90;
  padding:0px
}
.glossidx tr td.current {
  color:#00F
}
table.glossidx a:link {
  color:#930;
  text-decoration:none
}
table.glossidx a:visited {
  color:#930;
  text-decoration:none
}
table.glossidx a:active {
  color:#F00;
  text-decoration:none
}
table.glossidx a:hover {
  color:#00F;
  text-decoration:none
}
a:link.top {
  color:#050;
  font-size:90%;
  font-style:bold;
  text-decoration:underline
}
a:visited.top {
  color:#039;
  font-size:90%;
  font-style:bold;
  text-decoration:underline
}
a:active.top {
  color:red;
  font-size:90%;
  font-style:bold;
  text-decoration:underline
}
a:hover.top {
  color:blue;
  font-size:90%;
  font-style:bold;
  text-decoration:none
}
a:link.ptn {
  color:Navy;
  font-style:bold;
  text-decoration:none
}
a:visited.ptn {
  color:Navy;
  font-style:bold;
  text-decoration:none
}
a:active.ptn {
  color:Navy;
  font-style:bold;
  text-decoration:none
}
a:hover.ptn {
  color:#0B0;
  font-style:bold;
  text-decoration:none
}
dt { font-weight:bold }
h1 {
  color:#603;
  font-size:180%;
  font-family:inherit;
  font-weight:normal;
  font-style:normal
}
h1.main {
  color:black;
  font-weight:bold;
  font-size:x-large;
  font-family:inherit;
  font-style:normal;
  text-align:center;
  margin-bottom:0
}
.banner {
  color:black;
  font-weight:bold;
  font-size:200%;
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  font-style:normal;
  text-align:center;
  margin-bottom:0px
}
h2 {
  font-style:normal;
  font-weight:normal;
  color:#603;
  font-family:inherit;
  font-size:160%
}
h3 {
  font-style:normal;
  font-weight:normal;
  color:#603;
  font-family:inherit;
  font-size:140%
}
h4 {
  font-style:normal;
  font-weight:normal;
  color:#603;
  font-family:inherit;
  font-size:120%
}
h5 {
  font-style:normal;
  font-weight:normal;
  color:#603;
  font-family:inherit;
  font-size:110%
}
h6 {
  font-style:normal;
  font-weight:normal;
  color:#603;
  font-family:inherit;
  font-size:100%
}
hr { color:#603 }
.sky h2 {
  font-style:normal;
  font-weight:normal;
  color:#006;
  font-family:inherit;
  font-size:160%
}
.sky h3 {
  font-style:normal;
  font-weight:normal;
  color:#006;
  font-family:inherit;
  font-size:140%
}
.sky h4 {
  font-style:normal;
  font-weight:normal;
  color:#006;
  font-family:inherit;
  font-size:120%
}
.sky h5 {
  font-style:normal;
  font-weight:normal;
  color:#006;
  font-family:inherit;
  font-size:110%
}
.sky h6 {
  font-style:normal;
  font-weight:normal;
  color:#006;
  font-family:inherit;
  font-size:100%
}
.sky hr { color:#006 }
td.hike {
  vertical-align:top;
  text-align:center;
  padding-left:0px;
  padding-right:0px;
  padding-top:2px;
  padding-bottom:2px
}
img.thumb { border:solid 2px }
.hike img { border:solid 2px }
var {
  font-family:"Times New Roman", "Times Roman", "Times", serif;
  font-style:normal
}
var.bar {
  font-family:"Times New Roman", "Times Roman", "Times", serif;
  font-style:normal;
  text-decoration:overline
}
kbd {
  font-family:"Courier New", "Courier";
  font-weight:bold;
  font-style:normal;
  font-size:100%
}
.glosshead {
  font-family:"Engravers MT", "Times New Roman", "Times Roman", "Times", serif;
  font-weight:normal;
  font-size:160%;
  padding-left:8px;
  padding-right:8px;
  text-align:center;
  border:double 6px #603
}
.newglosshead {
  font-family:"Engravers MT", "Times New Roman", "Times Roman", "Times", serif;
  font-weight:bold;
  text-decoration:none;
  border:outset 8px;
  border-color:rgb(204, 153, 00);
  padding:5px;
  background:rgb(245,245,210)
}
td.numerator {
  border-bottom:thin black solid;
  text-align:center
}
td.denominator { text-align:center }
td.sum {
  font-size:1.6em;
  text-align:center;
  vertical-align:middle
}
td.limit {
  font-size:.67em;
  text-align:center
}
tr.upperlimit td {
  font-size:.67em;
  text-align:center;
  vertical-align:bottom;
}
tr.lowerlimit td {
  font-size:.67em;
  text-align:center;
  vertical-align:top;
}
td.upperlimit {
  font-size:.67em;
  text-align:center;
  vertical-align:bottom;
}
td.lowerlimit {
  font-size:.67em;
  text-align:center;
  vertical-align:top;
}
td.LHS {
  text-align:right;
  white-space:nowrap
}
td.RHS {
  text-align:left;
  white-space:nowrap
}
.LHS table {
  margin-left:auto;
  margin-right:0px
}
.RHS table {
  margin-left:0px;
  margin-right:auto
}
.theorem {
  margin-left:1.5em;
  margin-right:1.5em;
  margin-top:1.0em;
  margin-bottom:1.0em;
  border-top:rgb(102,0,51) 6px double;
  border-bottom:rgb(102,0,51) 6px double;
  padding-top:.6em;
  padding-bottom:.3em;
  padding-left:.6em;
  padding-right:.6em
}
.definition {
  margin-left:1.5em;
  margin-right:1.5em;
  margin-top:1.0em;
  margin-bottom:1.0em;
  border:rgb(102,0,51) 6px double;
  padding-top:.6em;
  padding-bottom:.6em;
  padding-left:.6em;
  padding-right:.6em
}
.proclaim {
  font-size:110%;
  font-variant:small-caps;
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  font-weight:bold;
  color:rgb(102,0,51)
}
blockquote.Note {
  font-size:90%;
  margin-left:2em;
  margin-right:2em
}
div.Note {
  font-size:90%;
  font-family:inherit;
  margin-left:2em;
  margin-right:2em;
  padding-top:0.5em;
  padding-bottom:0.5em
}
span.Proof {
  font-variant:small-caps;
  font-weight:bold;
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  text-decoration:none
}
body.blue {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  color:#000;
  background-image:url('images/blue.jpg');
  background-attachment:fixed
}
body.basalt {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  background-image:url('images/basalt1.jpg');
  background-attachment:fixed;
  color:white
}
body.brblur {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  background-image:url('images/brblur.jpg');
  background-attachment:fixed;
  color:white
}
body.whitered {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  background-image:url('images/whitered.jpg');
  background-attachment:fixed
}
body.paper {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  background-image:url('images/bwpapch.gif');
  background-attachment:scroll
}
body.bkmain {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  background-image:url('images/bkmain.gif');
  background-attachment:scroll
}
body.weave1br {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  background-image:url('images/weave1br.gif');
  background-attachment:scroll
}
body.weave1brl {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  background-image:url('images/weave1brl.gif');
  background-attachment:scroll
}
body.cream {
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  background-image:url('images/Candlelight_Cream.jpg');
  background-attachment:scroll
}
table.nav {
  background:none;
  border-collapse:separate;
  border-spacing:4px;
  font-size:90%;
  color:#FF8
}
table.nav td {
  border-style:outset;
  border-width:thick;
  border-color:#700;
  background-color:#900;
  text-align:center;
  white-space:nowrap;
  padding-left:1em;
  padding-right:1em;
  padding-top:6px;
  padding-bottom:6px
}
table.nav2 {
  background:#900;
  border:thick outset #700;
  border-collapse:separate;
  border-spacing:0px;
  font-size:90%;
  color:#FF8;
  margin-left:auto;
  margin-right:auto
}
table.nav2 td {
  border:none;
  background-color:#900;
  text-align:center;
  white-space:nowrap;
  padding-left:0.5em;
  padding-right:0.5em;
  padding-top:6px;
  padding-bottom:6px
}
table.nav2 td.arrow {
  border:none;
  background-color:#900;
  text-align:center;
  white-space:nowrap;
  padding-left:0px;
  padding-right:0px;
  padding-top:6px;
  padding-bottom:6px
}
table.nav a:link {
  color:yellow;
  text-decoration:none
}
table.nav a:visited {
  color:yellow;
  text-decoration:none
}
table.nav a:active {
  color:yellow;
  text-decoration:none
}
table.nav a:hover {
  color:white;
  text-decoration:none
}

table.nav2 a:link {
  color:yellow;
  text-decoration:none
}
table.nav2 a:visited {
  color:yellow;
  text-decoration:none
}
table.nav2 a:active {
  color:yellow;
  text-decoration:none
}
table.nav2 a:hover {
  color:white;
  text-decoration:none
}


.sky table.nav {
  background:none;
  border-collapse:separate;
  border-spacing:4px;
  font-size:90%;
  color:#FF8
}
.sky table.nav td {
  border-style:outset;
  border-width:thick;
  border-color:#007;
  background-color:#009;
  text-align:center;
  white-space:nowrap;
  padding-left:1em;
  padding-right:1em;
  padding-top:6px;
  padding-bottom:6px
}

.sky table.nav2 {
  background-color:#009;
  border:thick outset #007;
  border-collapse:separate;
  border-spacing:0px;
  font-size:90%;
  color:#FF8;
  margin-left:auto;
  margin-right:auto
}
.sky table.nav2 td {
  border:none;
  background-color:#009;
  text-align:center;
  white-space:nowrap;
  padding-left:0.5em;
  padding-right:0.5em;
  padding-top:6px;
  padding-bottom:6px
}
.sky table.nav2 td.arrow {
  border:none;
  background-color:#009;
  text-align:center;
  white-space:nowrap;
  padding-left:0px;
  padding-right:0px;
  padding-top:6px;
  padding-bottom:6px
}

.sky table.nav a:link {
  color:white;
  text-decoration:none
}
.sky table.nav a:visited {
  color:white;
  text-decoration:none
}
.sky table.nav a:active {
  color:white;
  text-decoration:none
}
.sky table.nav a:hover {
  color:yellow;
  text-decoration:none
}

.sky table.nav2 a:link {
  color:white;
  text-decoration:none
}
.sky table.nav2 a:visited {
  color:white;
  text-decoration:none
}
.sky table.nav2 a:active {
  color:white;
  text-decoration:none
}
.sky table.nav2 a:hover {
  color:yellow;
  text-decoration:none
}

h1.banner a:hover {
  color:black;
  text-decoration:none
}
table.code {
  background-color:#FDB;
  background-image:url(images/paper.jpg);
  background-attachment:fixed;
  border:ridge #700 6px;
  border-collapse:separate;
  border-spacing:1px
}
.code td {
  background:white;
  padding-left:1em;
  padding-right:1em;
  vertical-align:top;
  border:outset #CCC 2px
}
.code thead td {
  background-color:#900;
  color:#FF8;
  padding-top:2px;
  padding-bottom:2px;
  padding-left:1em;
  padding-right:1em;
  border:outset #700 2px
}
.a h1 {
  font-size:180%;
  color:#603
}
.a h1.banner {
  font-size:200%;
  color:black
}
.a h2 {
  font-size:160%;
  color:#603
}
.a h3 {
  font-size:140%;
  color:#603
}
.a h4 {
  font-size:120%;
  color:#603
}
.a h5 {
  font-size:110%;
  color:#603
}
.a h6 {
  font-size:normal;
  color:#603
}
.missing {
  color:#F00;
  font-style:italic
}
b.sc { font-variant:small-caps }
table.footer {
  width:100%;
  border:none;
  font-family:"Arial", "Helvetica", "Geneva", sans-serif;
  border-collapse:collapse
}
table.footer td {
  vertical-align:top;
  text-align:center;
  white-space:nowrap
}
table.footer td.left {
  vertical-align:top;
  text-align:left;
  width:20%;
  white-space:nowrap
}
table.footer td.right {
  vertical-align:top;
  text-align:right;
  font-size:70%;
  font-style:normal;
  color:black;
  font-family:inherit;
  width:20%;
  white-space:nowrap
}
.dnk {
  font-family:Tahoma;
  font-size:xx-small
}
.dnk img { border:none }
.dnk a:link { text-decoration:none }
.dnk a:visited { text-decoration:none }
.dnk a:active { text-decoration:none }
.dnk a:hover { text-decoration:underline }