html {
  background-color: #F3F3F3;
}

body {
  color: #000000;
  margin: 0px;
  padding-left: 1em;
  padding-right: 1em;
  padding-bottom: 0.5em;
  font-family: Verdana, sans-serif;
}

a:link {color: #002288;}
a:visited {color: #333355;}
a:hover {color: #0044AA;}
a:active {color: #880000;}

pre {
  margin: 0px;
  font-family: monospace;
}

h1, h2, h3, h4, h5, h6, p, ul {
  font-family: Verdana, sans-serif;
}

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

ul {
  text-indent: 0px;
}

h1.mainHeader {
  background-color: #FFFFFF;
  color: #000000;
  font-size: 160%;
  text-align: center;
  margin: 0.2em;
}

img.header-logo {
  vertical-align: middle;
  width: 64px;
  height: 55px;
}

h2.articleHeader, h2.tableLabel {
  font-size: 100%;
  text-indent: 1em;
  clear: right;
}

div.music {
  text-indent: 0.5em;
  padding-bottom: 0.25em;
}

div.music a {
  font-weight: bold;
}

div.music span.date {
  font-size: 80%;
  padding-left: 1em;
}

div.musicDescription {
  text-indent: 0px;
  padding-left: 1.5em;
  padding-bottom: 1em;
}

div.mainHeader {
  border-style: solid;
  border-left-color: #444444;
  border-top-color: #444444;
  border-right-color: #666666;
  border-bottom-color: #666666;
  border-width: 1px;
  background-color: #FFFFFF;
  margin-top: 1em;
  width: 100%;
  padding-top: -1.0em;
  padding-bottom: -1.0em;
}

div.mainFooter {
  clear: both;
  border-style: solid;
  border-left-color: #444444;
  border-top-color: #444444;
  border-right-color: #666666;
  border-bottom-color: #666666;
  border-width: 1px;
  background-color: #FFFFFF;
  width: 100%;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  font-size: 80%;
  text-align: center;
}

div.navigation {
  float: left;
  background-color: #FFFFFF;
  border-style: solid;
  border-left-color: #444444;
  border-top-color: #444444;
  border-right-color: #666666;
  border-bottom-color: #666666;
  border-width: 1px;
  margin-top: 1em;
  margin-bottom: 1em;
  width: 20%;
  height: 100%;
  padding-left: 0px;
  padding-right: 0px;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
}

div.navigation a {
  display: block;
  font-size: 80%;
  padding-left: 0.5em;
  padding-right: 0.5em;
  padding-bottom: 0.1em;
  padding-top: 0.1em;
}

div.navigation a:hover {
  background-color: #D0D0FF;
}

div.navigation a.sub1 {
  margin-left: 2.0em;
  font-size: 70%;
}

div.navigation a.sub2 {
  margin-left: 3.5em;
  font-size: 70%;
}

div.navigation a.current {
  background-color: #FFFFAA;
}

div.navigation hr {
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  border-style: solid;
  border-left-color: #AAAAAA;
  border-top-color: #AAAAAA;
  border-right-color: #444444;
  border-bottom-color: #444444;
  border-width: 1px;
}

div.pageContent {
  float: right;
  background-color: #FFFFFF;
  padding: 0.5em;
  border-style: solid;
  border-width: 1px;
  margin-top: 1em;
  margin-bottom: 1em;
  /*border-color: #777766;*/
  border-left-color: #3F3F3F;
  border-top-color: #3F3F3F;
  border-right-color: #777777;
  border-bottom-color: #777777;
  width: 72%;
  text-indent: 2em;
}

div.pageContentCenter {
  width: 100%;
}

div.pageContent p.noIndent {
  text-indent: 0px;
}

div.code {
  clear: both;
  font-family: monospace;
  background-color: #FFFFFF;
  padding: 0.5em;
  border-style: dashed;
  margin-top: 0px;
  margin-bottom: 0px;
  border-color: #000000;
  border-width: 1px;
  /*width: 100%;*/
  text-indent: 0em;
  overflow: auto;
  white-space: pre;
}

span.code {
  font-family: monospace;
}

div.code span.keyword {
  color: #0000FF;
}

div.code span.comment {
  color: #555555;
}

div.download {
  border-style: solid;
  border-width: 1px;
  border-color: #000000;
  background-color: #FFFFFF;
  text-indent: 0px;
  padding: 10px;
  font-size: 80%;
  clear: right;
}

div.quote {
  clear: both;
  background-color: #FFFFFF;
  padding: 0.5em;
  border-style: dashed;
  margin-top: 0px;
  margin-bottom: 0px;
  border-color: #000000;
  border-width: 1px;
  overflow: auto;
}

img.tutorial-diagram-side {
  clear: right;
  float: right;
  margin: 5px;
}

div.tutorial-diagram-side {
  text-align: center;
  text-indent: 0px;
  font-size: 80%;
  clear: right;
  float: right;
  margin: 5px;
}

div.tutorial-diagram-center {
  clear: both;
  text-align: center;
}

img.game-icon, img.info-page-logo {
  clear: right;
  float: right;
  margin: 5px;
}

span.newTerm {
  font-style: italic;
}

span.emphasized {
  font-weight: bold;
}

table.fileList, table.APIList, table.recordList {
  font-size: 80%;
  text-indent: 0px;
  border-collapse: separate;
  border-spacing: 2px 2px;
  width: 100%;
}

table.fileList th, table.APIList th, table.recordList th {
  text-align: left;
  font-size: 80%;
}

table.fileList td, table.APIList td, table.recordList td {
  background-color: #FFFFFF;
  padding: 2px;
  border-style: solid;
  border-width: 1px;
  border-color: #888888;
}

table.transformationMatrix {
  margin-left: auto;
  margin-right: auto;
  font-family: monospace;
  font-weight: bold;
  text-indent: 0px;
  border-collapse: separate;
  border-spacing: 2px 2px;
}

table.transformationMatrix td {
  text-align: center;
  background-color: #FFFFFF;
  padding: 0.2em;
  border-style: solid;
  border-width: 1px;
}

table.transformationMatrix td.highlight, table.transformationMatrix td.magnitude, table.transformationMatrix td.scale {
  background-color: #BBFFFF;
}

table.transformationMatrix td.x-axis {
  background-color: #FFBBBB;
}

table.transformationMatrix td.y-axis {
  background-color: #BBFFBB;
}

table.transformationMatrix td.z-axis {
  background-color: #BBBBFF;
}

table.transformationMatrix td.perspective {
  background-color: #FFBBFF;
}

table.transformationMatrix td.translation, table.transformationMatrix td.multTarget, table.transformationMatrix td.shear {
  background-color: #FFFFBB;
}

table.matrix-multiplication-table-table {
  width: 100%;
  text-align: center;
  text-indent: 0px;
}

div.galleryImage {
  text-indent: 0px;
  float: left;
  border-style: solid;
  border-width: 1px;
  margin: 3px;
  padding: 3px;
  background-color: #FFFFFF;
  font-size: 70%;
  text-align: center;
}

table.personalInfo {
  text-indent: 0px;
  font-size: 80%;
}

table.personalInfo th {
  text-align: right;
  padding-right: 0.5em;
}

div.MessageBoard_serverTime {
  text-align: center;
  font-size: 80%;
  width: 100%;
}

div.MessageBoard_logInName {
  text-indent: 1em;
  float: left;
  font-weight: bold;
}

div.MessageBoard_notLoggedIn {
  text-indent: 1em;
  float: left;
  font-weight: normal;
}

div.MessageBoard_userNavigation, div.MessageBoard_boardControls, div.MessageBoard_threadControls {
  text-indent: 0px;
  float: right;
  font-size: 80%;
}

ul.MessageBoard_errors {
  color: #FF0000;
  font-size: 80%;
}

div.MessageBoard_boardName {
  text-indent: 0px;
  padding-bottom: 0.25em;
  font-weight: bold;
}

div.MessageBoard_noNewPosts {
  margin-left: 25px;
}

img.MessageBoard_newPosts {
  vertical-align: middle;
  margin-right: 5px;
}

div.MessageBoard_boardNameNav {
  text-indent: 1em;
  float: left;
  font-size: 80%;
  font-weight: bold;
}

div.MessageBoard_boardDescription {
  text-indent: 15px;
  padding-left: 1.5em;
  padding-bottom: 1em;
}

table.MessageBoard_members, table.MessageBoard_threads {
  font-size: 80%;
  text-indent: 0px;
  border-collapse: separate;
  border-spacing: 2px 2px;
  width: 100%;
}

table.MessageBoard_members th, table.MessageBoard_threads th {
  text-align: left;
  white-space: nowrap;
  font-size: 80%;
}

table.MessageBoard_members td, table.MessageBoard_threads td {
  background-color: #FFFFFF;
  padding: 0.25em;
  vertical-align: top;
  border-style: solid;
  border-width: 1px;
  border-color: #888888;
}

table.MessageBoard_threads td.topic {
  width: 33%;
}

table.MessageBoard_form {
  width: 80%;
  text-indent: 0px;
}

table.MessageBoard_form td.memberInfo {
  text-align: left;
  white-space: nowrap;
  font-size: 80%;
}

table.MessageBoard_form td.label {
  text-align: right;
  white-space: nowrap;
  font-size: 80%;
}

table.MessageBoard_form td.inputBox {
  text-align: left;
  width: 100%;
}

table.MessageBoard_form td.checkbox {
  font-size: 80%;
}

table.MessageBoard_form td.checkboxLabel {
  text-align: left;
  width: 100%;
  font-size: 80%;
}

table.MessageBoard_form td.inputBox input {
  width: 100%;
}

table.MessageBoard_form td.submit {
  text-align: center;
  width: 100%;
}

table.MessageBoard_form textarea.body {
  width: 100%;
}

div.MessageBoard_topic {
  text-indent: 1em;
  font-weight: bold;
  float: left;
  font-size: 80%;
}

table.MessageBoard_messages {
  width: 100%;
  text-indent: 0px;
  table-layout: fixed;
}

table.MessageBoard_messages th {
  text-align: left;
  white-space: nowrap;
  font-size: 64%;
}

table.MessageBoard_messages .posterColumn {
  width: 15em;
}

table.MessageBoard_messages td.poster {
  background-color: #FFFFFF;
  border-style: solid;
  border-width: 1px;
  border-color: #888888;
  vertical-align: top;
  padding: 0.25em;
  font-size: 80%;
  white-space: nowrap;
}

table.MessageBoard_messages td.poster span.date {
  font-size: 80%;
}

table.MessageBoard_messages td.body {
  background-color: #FFFFFF;
  border-style: solid;
  border-width: 1px;
  border-color: #888888;
  vertical-align: top;
  padding: 0.5em;
  width: 100%;
}