* {
 margin: 0;
 padding: 0;
 font-size: 100%;
 text-align: left;
}

body,html {
 font-size: 1em;
 line-height: 1.5;
 background: black;
 color: white;
}

/****************************
 * colours
 ****************************/

.book {
 background: #ddddff;
 color: black;
}

pre {
 background: #f7f7f7;
 color: black;
 margin-top: 0;
}

pre.run {
 background: #f9f9ff;
 color: black;
}

.footnote {
 background: white;
 color: black;
 min-width: 10em;
 clear: right;
}

p.addendum {
 background: #ddd;
 color: black;
}

div.kicker a:visited,
.validate a:visited,
#header.hier a:visited {
 color: #ffffcc;
}

div.kicker a,
#header.hier a,
.validate a {
 color: yellow;
}

#header.hier a:hover,
.validate a:hover {
 background: #ddddff;
 color: black;
}

div.to-contents a:hover {
 background: yellow;
}

/**** end colours ****/


/* margins and padding */

h1,h2,h3,h4,h5,h6 {
 font-weight: bold;
 line-height: 1.3;
}

#header h1 {
 padding-top: .5em;
}

div.kicker {
 border-bottom: 3px solid white;
}

div.kicker h4 {
 display: inline;
 padding-right: .3em;
}

span.next,
span.prev {
 white-space: nowrap;
}

.kicker {
 border-bottom: 2px solid white;
}

h1,h2,h3,h4 {
 margin-top: .5em;
 padding-bottom: .25em;
}

h1 {
 font-size: 2em;
}

h2 {
 font-size: 1.5em;
}

h3 {
 font-size: 1.4em;
}

h4 {
 font-size: 1.3em;
}

h5 {
 font-size: 1.2em;
}

h6 {
 font-size: 1.1em;
}

#chapter8,#addendum {
  width: 92%;
  margin: auto;
}

#addendum h2 {
 margin-top: 1.5em;
}

.book {
 background: #eeeeff;
 padding: 2em;
}

.book p {
  margin: 0;
  padding: 0 0 0 .6em;
  max-width: 35em;
}

p + p,
div.footnote + p
{
  text-indent: 2em;
}

p.first {
  text-indent: 0;
}

pre {
 overflow: auto;
 background: #f7f7f7;
 color: black;
 padding: 1em;
 margin: 1em 0;
}

pre.run {
  background: #f9f9ff;
  color: black;
  border-top: 3pt solid #eee;
  border-left: 3pt solid #eee;
  border-right: 3pt solid white;
  border-bottom: 3pt solid white;
}

pre.script {
  border: 1pt solid #000099;
}

.footnote {
  float: right;
  width: 25%;
  line-height: 1.25;
  padding: 1em;
  margin: 1em;
  text-indent: 0;
  border: 1px solid black;
}

.wide {
  width: 75%;
  float: none;
  margin-left: 23%;
}

div.note {
  margin-left: 20%;
}

div.note pre {
  background: #ffffcc;
}

p.addendum {
  border: 1px solid blue;
  padding: .5em;
}

#datestamp {
 text-align: right;
 padding-right: 1em;
}

.validate {
 float: left;
}

.validate img {
 padding-top: 5px;
}

#header.hier,
#datestamp,
div.kicker {
 padding-left: 1em;
}

#header.hier {
 text-align: left;
}

#header.hier h4 {
 display: inline;
}

#header.hier p a,
#header.hier p {
 margin: 0;
 padding: 0;
 text-align: left;
}

span.nowrap {
 white-space: nowrap;
}

ul, li {
 list-style-type: none;
}

li {
 margin-left: .75em;
 padding-left: .5em;
 list-style-type: none;

}

ul#contents {
 padding: 0;
 margin-bottom: 1em;
 margin-left: 1em;
 width: 30em;
 max-width: 90%;
 font-size: .9em;
 float: right;
 border: 1px solid black;
 padding: 1em;
 background: #ffd;
}

ul#contents * {
 color: #900;
}

ul#contents li.first {
 font-weight: bold;
 padding-left: 0;
}

ul#contents li {
 border-bottom: 2px solid white;
}

ul#contents a:hover {
 background: yellow;
 color: black;
}

/*
 * font sizes
 */

ul#contents li.first {
 font-size: 1.5em;
}

ul#contents.tree {
 width: 49%;
 line-height: 1.3;
}

ul#contents.tree * {
 border: 0;
 line-height: 1.3;
}

#header.hier,
#datestamp,
div.kicker,
.crumbs {
 font-size: .9em;
}

pre,
.footnote {
  font-size: .85em;
}

span.kicker {
 text-decoration: underline;
}

span.current:hover {
 font-weight: bold;
}

div.to-contents {
 width: 20%;
 float: right;
 min-width: 10em;
 font-size: .85em;
 font-weight: bold;
 color: black;
 text-align: center;
 border: 1px solid black;
}

img {
 border: 0;
}


.chsub1 {
 font-weight:bold;
 font-size: 110%;
 padding-left: 5%;
}

.chsub2 {
 padding-left: 3em;
}

td {
 border-bottom: 1pt solid black;
}

sup {
   font-size: .7em;
}