html {
   background-color: #ddd;
}

/* colour was #1e6e8e - darkish blue */

body {
   width: 50em;
   margin-top: 1.0em;
   margin-bottom: 1.0em;
   margin-left: auto;
   margin-right: auto;
   border: solid;
   border-width: 1pt;
   border-color: #1e72a0;
   font-family: Arial, sans-serif;
   font-size: 11pt;
   text-align: left;  /* IE5 bugfix */
   background-color: #fff;  /* IE6 bugfix */
}

#page-header {
   border-bottom: solid;
   border-width: thin;
   border-color: #1e72a0;
   background-color: #1e72a0;
   color: white;
}

#page-header a {
   color: #fff;
}

#header-path {
   float: left;
   width: 60%;
   padding-top: 0.5em;
   padding-bottom: 0.2em;
   padding-left: 2em;
}

#header-nav {
   float: right;
   padding-top: 0.5em;
   padding-bottom: 0.2em;
   padding-right: 2em;
}

#root-title {
   clear: both;
   padding-top: 0.0em;
   padding-bottom: 0.0em;
   font-size: 20pt;
   font-weight: bold;
   color: white;
   text-align: center;
}

#header-menu {
   padding-top: 0.2em;
   padding-bottom: 0.5em;
   text-align: center;
}

#page-footer {
   clear: both;
   padding-bottom: 2.2em;
   border-top: solid;
   border-width: 1px;
   border-color: #1e72a0;
   background-color: #1e72a0;
   color: #fff;
}

#page-footer a {
   color: white;
}

#footer-path {
   float: left;
   width: 60%;
   padding-top: 0.5em;
   padding-bottom: 0.5em;
   padding-left: 2em;
}

#footer-nav {
   float: right;
   padding-top: 0.5em;
   padding-bottom: 0.5em;
   padding-right: 2em;
}

#page-contents {
   padding-top: 1.0em;
   padding-bottom: 1.0em;
   padding-left: 2em;
   padding-right: 2em;
   background-color: white;
}

.section-map {
   float: right;
   margin-top: -1.3em;
}

.section-map a {
   /*color: #bbd3e0;*/
   color: #1e72a0;
   font-size: 10pt;
}

h1 {
   font-size: 15pt;
   color: #1e72a0;
   padding: 0.2em 0 0.2em 0;
   margin: 0 0 0 0;
}

h2 {
   font-size: 14pt;
   color: #1e72a0;
   font-style: italic;
   padding: 0.9em 0 0 0;
   margin: 0 0 0 0;
}

h3 {
   font-size: 12pt;
   color: #1e72a0;
   padding: 0.3em 0 0 0;
   margin: 0 0 0 0;
}

h4, h5 {
   font-size: 11pt;
   color: #1e72a0;
   padding: 0.3em 0 0 0;
   margin: 0 0 0 0;
}

p {
   padding: 0.3em 0 0.3em 0;
   margin: 0 0 0 0;
}

pre {
   background-color: #ddd;
   font-size: 10pt;
   width: 99%;  /* IE bug */
   margin: 0.5em 0 0.5em 0;
   padding: 0.1em 0 0.1em 0.3em;
}

a {
   color: #1e72a0;
}

table {
   border-collapse: collapse;
   border-color: black;
   padding: 0.2em 0 0.2em 0;
   margin: 0.5em 0 0.5em 0;
   font-size: 10pt;
}

th, td, tr {
   border-style: thin solid;
   border-color: black;
   padding: 0.1em 0.5em 0.1em 0.5em;
   margin: 0 0 0 0;
}

dl {  /* top level */
   padding: 0.3em 0 0.3em 0;
   margin: 0 0 0 0;
}

dl dl {  /* nested */
   padding: 0 0 0 0;
   margin: 0 0 0 0;
}

dd {
   padding: 0 0 0 2.0em;
   margin: 0 0 0 0;
}

ul {
   padding: 0 0 0 2.0em;
   margin: 0 0 0 0;
}

li {
   padding: 0 0 0 0;
   margin: 0 0 0 0;
}