.code, .sgmltag-attribute, .sgmltag-element {
    font-family: monospace;
}

.footnote {
    text-align: center;
}

.programlisting {
    background-color: #DBE7F2;
    padding: .4em;
}

a {
    text-decoration: none;
    color: #3B72A9;
}

a:hover {
    text-decoration: underline;
}

b {
    color: #3B72A9;
}

body {
    background:#305980;
    background-image: url(images/shadow.png);
    background-position: center;
    background-repeat: repeat-y;
    font-family: sans-serif;
    font-size: 10pt;
    margin: 0px;
    margin-left: auto;
    margin-right: auto;
    width: 766px;
}

#colortable {
    cellspacing: 20px;
}

#colortable td {
  font-size: 10pt;
  height: 5em;
  margin: 20px;
  text-align: center;
  width: 5em;
}

#content {
    background:#FFFFFF;
    padding-left: 20px;
    padding-right: 20px;
    padding-top: 20px;
    padding-bottom: 5px;
}

.formtable td {
  font-size: 10pt;
  font-weight: bold;
  padding: .4em;
}

.formtable input[type="text"], select {
    width: 20em;
}


h1 {
    color: #3B72A9;
    font-size: 22t;
    padding: 0;
    margin-top: 0.3em;
}

h2 {
    color: #3B72A9;
    font-size: 14pt;
}

h3 {
    color: #3B72A9;
    font-size: 12pt;
}

h4 {
    color: #3B72A9;
    font-size: 10pt;
}

h5, dl[class="links"] dt {
    color: #3B72A9;
    font-size: 10pt;
}

#header {
    position: relative;
    height: 140px;
    background-color: #FFFFFF;    
    background-image: url(images/header-background.png);
    background-position: bottom;
    background-repeat: repeat-x;
}

#download {
    position: absolute;
    left: 480px;
    top: 42px;

    background-image: url(images/download_arrow.png);
    background-position: left;
    background-repeat: no-repeat;

    overflow: hidden;

    padding-left: 32px;
    padding-top: 5px;
    padding-bottom: 3px;

    font-weight: bold;
    font-size: 16pt;
}

#header ul {
    position: absolute;
    left: 120px;
    top: 116px;
    overflow: hidden;
    margin: 0;
    padding: 0;
}

#header li {
    display: block;
    float: left;
    margin: 0 1.2em 0 0;
}

#header li a {
    color: #ffffff;
    font-weight: bold;
    font-size: 12pt;
}

#header li a:hover {
    color: #3B72A9;
    text-decoration: none;
}

hr {
    border: 0; 
    height: 0;
    visibility: hidden;
}

img {
    margin: 1em;
    border: 0;
}

img.imagelist {
    margin: .2em;
}