body {
  margin: 5px 0 0 3px;
  padding: 0;
  background: #e0e8ef url(main-bg.png) 0 0 no-repeat;
  color: black;
  font-size: 13px;
  font-family: Verdana, "DejaVu Sans", sans-serif;
}

h1 {
  margin: 0 0 0.5em 0;
  font: italic 19px/18px Verdana, "DejaVu Sans", sans-serif;
  border-bottom: 1px dotted #505880;
  color: #336;
}

h2 {
  margin: 1em 0 0.5em 0;
  font: italic 17px/16px Verdana, "DejaVu Sans", sans-serif;
  border-bottom: 1px dotted #505880;
  color: #336;
}

h3 {
  margin: 1em 0 0.5em 0;
  font: italic 15px/14px Verdana, "DejaVu Sans", sans-serif;
  border-bottom: 1px dotted #505880;
  color: #336;
}

h4 {
  margin: 0;
  font: italic 13px/12px Verdana, "DejaVu Sans", sans-serif;
  color: #336;
}

p {
  margin: 0.5em 0 0 0;
}

blockquote {
  margin: 0;
}

blockquote p,
blockquote a.int,
blockquote a.ext,
blockquote h2,
blockquote h3,
blockquote h4 {
  color: #333;
}

strong {
  font-weight: bold;
  color: #505880;
}

code, var {
  font-family: "Courier New", "DejaVu Sans Mono", monospace;
  font-style: normal;
}

var {
  background-color: #e0e8ef;
  padding-left: 1px;
  padding-right: 2px;
}

span.step {
  background-color: #336;
  color: #fff;
  font-weight: bold;
  padding-left: 2px;
  padding-right: 2px;
}

.break {
  clear: both;
  height: 1%; /* IE hack */
}

.math {
  font-family: "Courier New", "DejaVu Sans Mono", monospace;
}

p.math {
  margin-left: 4em;
}

a {
  text-decoration: none;
  color: black;
}

img {
  border: 0;
}

ul {
  margin-top: 0.5em;
  margin-bottom: 0;
}

ul li {
  list-style-type: circle;
}

a.ext, a.int {
  border-bottom: 1px dotted #336;
}

a.ext:hover, a.int:hover {
  background-color: #505880;
  color: #fff;
}

a.button {
  background-color: #e8eff8;
  border: 1px solid #90989f;
  padding: 2px 4px 2px 4px;
  font-size: 11px;
  text-decoration: none;
  text-transform: uppercase;
  white-space: nowrap;
}

a.button:hover {
  background-color: #505880;
  color: #fff;
}

form {
  margin: 0;
  padding: 0;
}

div.frame {
  margin: 5px 0 5px 5px;
  border: 1px dotted #90989f;
  background-color: #f0f0f0;
  padding: 0.5em 1em 0.5em 1em;
  float: right;
  width: 25%;
}

div.blurb {
  padding: 0 4em 0 4em;
  font-size: 20px;
  color: #336;
}

div.blurb strong {
  font-weight: bold;
  font-size: 26px;
  color: #336;
}

div.blurb a {
  color: #336;
}

div.blurb a:hover {
  background-color: #505880;
  color: #fff;
}

div.example {
  margin: 1em 0 1em 0;
  border-left: 1px dotted #505880;
  padding: 0.5em;
}

/* Data tables */

table.data {
  margin: 1em 0 1em 0;
  border-spacing: 2px 2px;
}

table.side-by-side.data {
  margin: 1em auto 1em auto;
}

table#layout tr td table.data tr td {
  padding: 0.25em 0.5em 0.25em 0.5em;
  background-color: #e0e8ef;
}

table.data tr th {
  padding: 0.25em 0.5em 0.25em 0.5em;
  background-color: #90989f;
  text-align: left;
  border-bottom: 1px solid #336;
  border-right: 1px solid #336;
}

table.side-by-side tr td {
  width: 50%;
}

/* Image with caption */

div.cimg {
  text-align: center;
  font-size: 11px;
  margin: 0.5em 0.5em 1em 0.5em;
}

/* Main  Layout */

table#layout {
  width: 100%;
  margin: 0;
  padding: 0;
  border-spacing: 0;
}

table#layout td {
  vertical-align: top;
  margin: 0;
  padding: 0
}

#sidebar {
  width: 12em;
}

#content {
  width: 54em;
  background: white;
  border-top: 1px solid #90989f;
  border-left: 1px solid #90989f;
  border-bottom: none;
  border-right: none;
}

/* Page layout */

div#page {
  margin: 1em;
}

div#page img {
  border: 1px solid #90989f;
  margin-top: 5px;
  margin-bottom: 5px;
}

div#page img.fuzzy,
div#page img.half-fuzzy {
  border: 0;
  margin-bottom: 0;
}

div#page div.cimg img,
div#page img.fuzzy {
  margin-top: 0;
}

div#page .left,
div#rich-page .left {
  margin-left: 0;
  margin-right: 10px;
  float: left;
}

div#page .right {
  margin-left: 10px;
  margin-right: 0px;
  float: right;
}

/* Rich page layout */

div#rich-page {
  padding: 1em;
  position: relative;
  padding-right: 250px;
  height: 1%; /* IE hack */
}

div#rich-page img#minium {
  position: absolute;
  top: 0; right: 0;
  border: 0;
  margin: 0;
}

/* Image layout */

div#image {
  text-align: center;
  margin: 3px 3px 0 3px;
}

div#image div#caption {
  position: relative;
  padding-right: 10em;
  text-align: left;
  height: 1%; /* IE hack */
}

div#image div#caption div.button-container {
  position: absolute;
  top: 0; right: 3px;
}

/* Navigation */

div#page div.button-container {
  margin-top: 12px;
  padding-top: 5px;
  border-top: 1px dotted #505880;
  clear: both;
}

div.button-container {
  text-align: right;
  white-space: nowrap;
  margin-bottom: 5px;
}

/* Header */

#header table {
  width: 100%;
  padding: 0;
  border-spacing: 0;
}

#header td#top-right {
  text-align: right;
  vertical-align: top;
  padding-right: 3px;
}

#header td#bottom-right {
  text-align: right;
  vertical-align: bottom;
  padding-right: 3px;
  padding-bottom: 5px;
}

#header td#bottom-right * {
  vertical-align: middle;
}

#header td#left {
  text-align: left;
  vertical-align: top;
}

span#alternatives {
  border: 1px solid #90989f;
  padding: 3px 0 3px 0;
  font-size: 11px;
  text-decoration: none;
  text-transform: uppercase;
  white-space: nowrap;
}

span#alternatives .alt {
  padding: 3px;
}

span#alternatives .alt.selected {
  font-weight: bold;
}

span#alternatives .alt.link:hover {
  background-color: #505880;
  color: #fff;
}

/* Sidebar and menu */

div.portlet, div.menu {
  margin: 0 5px 5px 0;
  border: 1px solid #90989f;
  font-size: 13px;
}

div.portlet {
  background-color: #f0f0f0;
}

div.menu-header {
  background-color: #e8eff8;
  padding: 0.25em;
  margin: 2px 0 0 0;
  white-space: nowrap;
}

div.menu-header:first-child {
  margin-top: 0;
}

div.menu-item {
  font-size: 11px;
  padding-left: 0.25em;
  background-color: #f0f0f0;
  white-space: nowrap;
}

div.menu-item a {
  color: #505880;
}

div.menu-item.selected a {
  color: #000;
}

div.menu-header.active:hover,
div.menu-item:hover {
  background-color: #505880;
  color: #fff;
}

div.menu-header.active:hover a,
div.menu-item:hover a {
  color: #fff;
}

div.portlet-title {
  font-weight: bold;
  color: #336;
  padding: 0.25em;
  margin: 2px 0 0 0;
  white-space: nowrap;
}

/* Footer */

#footer {
  padding: 5px 3px 0 0;
  font-size: 11px;
  text-align: right;
}

/* News */

div.entry:first-child {
  border-top: 0px;
}

div.entry {
  padding: 0.5em 0em 2em 0em;
  clear: both;
  border-top: 1px dotted #90989f;
}

div.entry div {
  margin: 0;
  padding: 0em 0em 0em 0.25em;
}

div.entry div.date {
  color: #90989f;
  font-size: 11px;
  font-weight: bold;
  float: left;
}

div.entry div.categories {
  color: #333;
  font-size: 11px;
  float: right;
}

div.entry div.categories a {
  color: #333;
}

div.entry div.title {
  padding-top: 0.25em;
  padding-bottom: 0.25em;
  border-width: 1px;
  border-style: solid;
  border-color: #ccc #333 #333 #ccc;
  background-color: #505880;
  color: #fff;
  font-size: 15px;
  clear: both;
}

div.entry div.source {
  margin-top: 0.5em;
}