* {font-family: sans-serif;}
body {color: black; background: white; margin-left: 1%; margin-right: 1%; font-family: sans-serif;}
h1 {color: black; background: #cccccc; margin-left: 0%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
h2 {color: black; background: #cccccc; margin-left: 0%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.08%;}
h3 {color: black; background: #dddddd; margin-left: 0%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.06%;}
h4 {color: black; background: #dddddd; margin-left: 0%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.04%;}
h5 {color: black; background: #eeeeee; margin-left: 0%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.02%;}
h6 {color: black; background: #eeeeee; margin-left: 0%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.01%;}

div.navgroup {color: black; background: #eeeeee; font-size: 80%;}
div.dynamic-content {width: 80%; float: right;}
div.static-content {top: 0%; left: 0%; width: 14%; float: left;}
div.online {color: black; background: #ffccff; padding-top: 0.1%; padding-bottom: 0.1%; padding-left: 2%; padding-right: 0.1%; margin-bottom: 1%; border-style: solid; border-width: thin; width: 96%; float: right; font-size: 60%}
div.leftaside {color: black; background: #ffffbb; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; margin-bottom: 1%; margin-right: 1%; border-style: solid; border-width: thin; width: 35%; float: left; clear: left;}
div.rightaside {color: black; background: #ffffbb; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; margin-bottom: 1%; margin-left: 1%; border-style: solid; border-width: thin; width: 35%; float: right; clear: right;}
div.exercise {color: black; background: #bbbbff; padding-top: 0%; padding-bottom: 0.1%; padding-left: 2%; padding-right: 2%; margin-bottom: 1%; border-style: solid; border-width: thin; clear: both;}
div.footnotes {color: black; background: #ffeeee; clear: both; padding-top: 1%; font-size: 75%; padding: 1%;}
div.displayimg {clear: both; margin: 1%; text-align: center;}
div.displayimg img {padding: 2%; vertical-align: top;}
div.style {clear: both; font-style: italic;}
div.smallquote {clear: both; font-size: 75%; font-family: serif; margin-left: 5%; margin-right: 5%; padding-top: 0.5%; padding-bottom: 0.5%;}
div.quote {font-style: italic; font-family: serif; margin-left: 5%; margin-right: 5%; padding-bottom: 0.5%; clear: both;}
div.warn {color: #ff0000; background: white; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; margin-bottom: 1%; border-style: solid; border-width: thin; float: left; clear: both;}

p.originator {clear: both; font-size: 75%; text-align: right;}
p.left {clear: both; text-align: left;}
p.centre {clear: both; text-align: center;}
p.right {clear: both; text-align: right;}

p {}
p.img {float:left; text-align: center; width: 20%; padding: 1%;}
p.lead {float:left; text-align: left; width: 70%;}
p.navhead {color: black; background: #eeeeee; font-weight: bold; width: 100%;}
p.footer {text-align:center; font-size: 75%;}

span.after {font-weight: bold;}
span.five {color: #ff0000; font-weight: bold;}
span.math {font-style: italic; font-family: serif;}
span.small {font-size: 75%;}
span.large {font-weight: bold; font-size: 112%;}
span.huge {font-weight: bold; font-size: 150%;}
span.ins {font-weight: bold;}
span.del {color: #cccccc; font-style: italic; text-decoration: line-through;}

hr {clear: both;}
ul {list-style-type: square;}
ol {}
al {}
li {clear: both; }

dl {}
dt {clear: both; }
dt.count {float:left; font-weight: bold; font-size: 200%; text-align: left; width: 5%;}
dd {}

table {clear: both; border-collapse: collapse; margin-left: 5%; width: 90%;}
td {font-size: 75%; border-style: solid; border-color: black;}
td.l {text-align: left; font-size: 75%; border-style: solid; border-color: black;}
td.c {text-align: center; font-size: 75%; border-style: solid; border-color: black;}
td.r {text-align: right; font-size: 75%; border-style: solid; border-color: black;}
th {color: black; background: #cccccc; font-size: 85%; border-style: solid; border-color: black;}
th.l {color: black; background: #cccccc; font-size: 85%; border-style: solid; border-color: black; text-align: left;}
th.c {color: black; background: #cccccc; font-size: 85%; border-style: solid; border-color: black; text-align: center;}
th.r {color: black; background: #cccccc; font-size: 85%; border-style: solid; border-color: black; text-align: right;}

a.comment {color: #0000ff; background: #cccccc; border-style: solid; border-color: red; padding: 3%; text-align: center;}
a.comment:hover {color: #0000ff; background: #eeeeee; border-style: solid; border-color: red; padding: 2%; text-align: center;}

a:link {color: #ff0000;}
a:visited {color: #cc0000;}

a.internal:link {color: #0000ff;}
a.internal:visited {color: #0000cc;}

a.img {color: white; background: white;}
a.footnote {color: black; background: #ffeeee;}

a:hover {color: black; background: #ffff00;}

div.brief h1 {color: black; background: #ccccff; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.brief h2 {color: black; background: #ccccff; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.brief h3 {color: black; background: #ccccff; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.brief h4 {color: black; background: #ccccff; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.brief h5 {color: black; background: #ccccff; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.brief h6 {color: black; background: #ccccff; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.clearboth {clear: both;}

a.next {color: black; background: #cccccc; height: 2%; width: 33%; float: left; text-align: center; font-size: 80%;}
a.prev {color: black; background: #cccccc; height: 2%; width: 33%; float: left; text-align: center; font-size: 80%;}
a.toc {color: black; background: #cccccc; height: 2%; width: 34%; float: left; text-align: center; font-size: 80%;}

a.brief {color: black; background: #ccccff; margin-top: 2%; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.brief:hover {color: black; background: #ccccff; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.brief-nolink {color: black;  background: #ccccff; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-brief {color: black; background: #ccccff; margin-bottom: 2%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 98%; float: left; clear: both;}

div.full h1 {color: black; background: #ccffcc; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.full h2 {color: black; background: #ccffcc; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.full h3 {color: black; background: #ccffcc; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.full h4 {color: black; background: #ccffcc; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.full h5 {color: black; background: #ccffcc; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.full h6 {color: black; background: #ccffcc; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}

a.full {color: black;  background: #ccffcc; margin-top: 2%; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.full:hover {color: black; background: #ccffcc; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.full-nolink {color: black;  background: #ccffcc; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-full {color: black; background: #ccffcc; margin-bottom: 2%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 98%; float: left; clear: both;}

div.cartoon h1 {color: black; background: #ffcccc; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.cartoon h2 {color: black; background: #ffcccc; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.cartoon h3 {color: black; background: #ffcccc; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.cartoon h4 {color: black; background: #ffcccc; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.cartoon h5 {color: black; background: #ffcccc; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.cartoon h6 {color: black; background: #ffcccc; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}

a.cartoon {color: black;  background: #ffcccc; margin-top: 2%; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.cartoon:hover {color: black; background: #ffcccc; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.cartoon-nolink {color: black;  background: #ffcccc; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-cartoon {color: black; background: #ffcccc; margin-bottom: 2%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 98%; float: left; clear: both;}

div.photo h1 {color: black; background: #ccffff; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.photo h2 {color: black; background: #ccffff; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.photo h3 {color: black; background: #ccffff; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.photo h4 {color: black; background: #ccffff; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.photo h5 {color: black; background: #ccffff; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.photo h6 {color: black; background: #ccffff; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}

a.photo {color: black;  background: #ccffff; margin-top: 2%; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.photo:hover {color: black; background: #ccffff; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.photo-nolink {color: black;  background: #ccffff; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-photo {color: black; background: #ccffff; margin-bottom: 2%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 98%; float: left; clear: both;}

div.notes h1 {color: black; background: #ffccff; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.notes h2 {color: black; background: #ffccff; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.notes h3 {color: black; background: #ffccff; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.notes h4 {color: black; background: #ffccff; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.notes h5 {color: black; background: #ffccff; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.notes h6 {color: black; background: #ffccff; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}

a.notes {color: black;  background: #ffccff; margin-top: 2%; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.notes:hover {color: black; background: #ffccff; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.notes-nolink {color: black;  background: #ffccff; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-notes {color: black; background: #ffccff; margin-bottom: 2%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 98%; float: left; clear: both;}

div.links h1 {color: black; background: #ffffcc; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.links h2 {color: black; background: #ffffcc; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.links h3 {color: black; background: #ffffcc; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.links h4 {color: black; background: #ffffcc; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.links h5 {color: black; background: #ffffcc; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}
div.links h6 {color: black; background: #ffffcc; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1%;}

a.links {color: black;  background: #ffffcc; margin-top: 2%; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.links:hover {color: black; background: #ffffcc; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.links-nolink {color: black;  background: #ffffcc; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-links {color: black; background: #ffffcc; margin-bottom: 2%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 98%; float: left; clear: both;}