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

div.navgroup {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 {background: #ffccff; padding-top: 0.1em; padding-bottom: 0.1em; padding-left: 2%; padding-right: 0.1em; margin-bottom: 1em; border: solid; border-width: thin; width: 96%; float: right; font-size: 60%}
div.aside {background: #ffffbb; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; margin-bottom: 1em; border: solid; border-width: thin; width: 44%; float: right;}
div.exercise {clear: both; background: #bbbbff; padding-top: 0%; padding-bottom: 0.1em; padding-left: 2%; padding-right: 2%; margin-bottom: 1em; border: solid; border-width: thin;}
div.aside2 {clear: both; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; margin-bottom: 1em; border: none; width: 50%; float: left;}
div.aside3 {clear: both; background: #ffffbb; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; margin-bottom: 1em; border: solid; border-width: thin; float: left;}
div.footnotes {clear: both; padding-top: 1%; font-size: 75%; background: #ffeeee; padding: 1em;}
div.displayimg {clear: both; margin: 1em; 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.5em; padding-bottom: 0.5em;}
div.quote {clear: both; font-style: italic; font-family: serif; margin-left: 5%; margin-right: 5%; padding-bottom: 0.5em;}
div.warn {clear: both; color: #ff0000; padding-top: 0%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; margin-bottom: 1em; border: solid; font-style: italic; text-align: center;}

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.smallprint {clear: both; font-size: 75%;}
p.banner {clear: both; font-weight: bold; font-size: 150%; text-align: center;}
p.huge-banner {clear: both; font-weight: bold; font-size: 200%; text-align: center;}

p {clear: both;}
p.img {clear: none; float:left; text-align: center; width: 20%; padding: 1em;}
p.lead {clear: none; float:left; text-align: left; width: 70%;}
p.navhead {font-weight: bold; width: 100%; background: #eeeeee;}
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: 125%;}
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 {clear: both; list-style-type: square;}
ol {clear: both;}
al {clear: both;}
li {clear: both;}
li p:first-child {clear: both; padding-top: 0%;}

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

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

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

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

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

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

a:hover {background: #ffff00;}

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

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

a.brief {color: #000000; 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: #000000; 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: #000000;  background: #ccccff; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-brief {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: #000000; background: #ccffcc; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.full h2 {color: #000000; background: #ccffcc; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.full h3 {color: #000000; background: #ccffcc; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.full h4 {color: #000000; background: #ccffcc; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.full h5 {color: #000000; background: #ccffcc; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.full h6 {color: #000000; background: #ccffcc; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}

a.full {color: #000000;  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: #000000; 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: #000000;  background: #ccffcc; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-full {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: #000000; background: #ffcccc; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.cartoon h2 {color: #000000; background: #ffcccc; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.cartoon h3 {color: #000000; background: #ffcccc; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.cartoon h4 {color: #000000; background: #ffcccc; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.cartoon h5 {color: #000000; background: #ffcccc; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.cartoon h6 {color: #000000; background: #ffcccc; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}

a.cartoon {color: #000000;  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: #000000; 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: #000000;  background: #ffcccc; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-cartoon {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: #000000; background: #ccffff; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.photo h2 {color: #000000; background: #ccffff; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.photo h3 {color: #000000; background: #ccffff; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.photo h4 {color: #000000; background: #ccffff; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.photo h5 {color: #000000; background: #ccffff; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.photo h6 {color: #000000; background: #ccffff; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}

a.photo {color: #000000;  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: #000000; 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: #000000;  background: #ccffff; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-photo {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: #000000; background: #ffccff; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.notes h2 {color: #000000; background: #ffccff; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.notes h3 {color: #000000; background: #ffccff; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.notes h4 {color: #000000; background: #ffccff; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.notes h5 {color: #000000; background: #ffccff; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.notes h6 {color: #000000; background: #ffccff; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}

a.notes {color: #000000;  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: #000000; 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: #000000;  background: #ffccff; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-notes {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: #000000; background: #ffffcc; margin-left: -6%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.links h2 {color: #000000; background: #ffffcc; margin-left: -5%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.links h3 {color: #000000; background: #ffffcc; margin-left: -4%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.links h4 {color: #000000; background: #ffffcc; margin-left: -3%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.links h5 {color: #000000; background: #ffffcc; margin-left: -2%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}
div.links h6 {color: #000000; background: #ffffcc; margin-left: -1%; margin-right: 0%; font-family: sans-serif; clear: both; padding: 0.1em;}

a.links {color: #000000;  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: #000000; 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: #000000;  background: #ffffcc; margin-top: 0%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 14%; float: left;}
a.line-links {background: #ffffcc; margin-bottom: 2%; padding-top: 2%; padding-bottom: 0%; padding-left: 1%; padding-right: 1%; width: 98%; float: left; clear: both;}