* {
/*    border: thin gray dotted; */
}

BODY {
    padding: 0px;
    text-align: left;
    font-family: arial;
    font-size: smaller;
}

pre {
    font-size: medium;
}

DIV.offsetForAd {
    padding-left: 140px;
}

DIV.body {
    padding: 8px 0px 0px 0px;
    margin: 0px auto;
    text-align: left;
    width: 760px;
}

DIV.bodyWidthAd {
    width: 900px;
}

DIV.body H1 {
    color: rgb(0,0,102);
    margin-bottom: 0px;
}

div.versions h2 {
    margin-bottom: 0px;
    font-size: small;
}

div.features h2 {
    font-size: 12pt;
    margin-bottom: 0px;
    color: rgb(128,0,0);
}

DIV.notice {
    color: red;
}

DIV.pageheader {
    position: relative;
    width: 760px;
    background: rgb(0,0,102);
    height: 100px;
    background-image: url("banner.png");
    background-position: top center;
    background-repeat: no-repeat;
}

DIV.adsense {
    position: absolute;
    left: -140px;
}

DIV.pagebody {
    position: absolute;
    top: 110px;
}

DIV.slogan {
    font-family: verdana,arial;
    font-size: large;
    margin: 1em;
    color: rgb(128,0,0);
    text-align: center;
}

.small {
    color: rgb(128,128,128);
    font-size: smaller;
}

DIV.bannermenu {
    left: 250px;
    margin: 0px;
    padding: 3px 0px;
    position: absolute;
    text-align: right;
    top: 75px;
    width: 500px;
    color: white;
}

img.prodimage {
    margin-bottom: 5px;
}

div.prodname {
    background: rgb(0,0,102);
    padding: 3px;
    background-image: url("tl.png");
    background-repeat: no-repeat;
    background-position: top left;
    width: 760;
    font-weight: bold;
}

div.prodname a {
    font-family: verdana,arial;
    font-size: larger;
    color: rgb(220,220,255);
    text-decoration: none;
}

div.prodname a:hover {
    color: rgb(255,255,255);
    text-decoration: underline;
}

div.steve {
    font-family: verdana,arial;
    color: rgb(80,80,80);
    font-size: larger;
    text-align: center;
    margin: 2em;
}

div.steve span {
    color: rgb(0,0,128);
}

a.more {
    font-size: larger;
    color: rgb(0,128,0);
}

a.more:hover {
    color: rgb(0,255,0);
}

.proddesc {
    vertical-align: top;
    font-size: smaller;
}

.proddesc span {
    font-size: larger;
    color: rgb(0,0,102);
}

em {
    font-size: larger;
    font-style: normal;
    color: rgb(0,0,102);
}

.prodblurb {
    margin-top: 0.5em;
}

.rightfloat {
    float: right;
    width: 180px;
    margin: 1em;
}

.prodslogan {
    font-size: larger;
    color: rgb(0,0,128);
    font-weight: bold;
}

.download {
    min-width: 180px;
    min-height: 29px;
    display: block;
    background-image: url("download.png");
    background-repeat: no-repeat;
    background-position: top left;
}

.download:hover {
    background-image: url("download-hover.png");
}

div.prodbox {
    padding:3px;
    border-left: 2px solid rgb(0,0,102);
    border-right: 2px solid rgb(0,0,102);
    border-bottom: 2px solid rgb(0,0,102);
    margin-bottom: 2em;
}

DIV.bannermenu a {
    font-family: Verdana;
    color: white;
    text-decoration: none;
}

DIV.bannermenu a:hover {
    background: rgb(0,0,200);
    text-decoration: underline;
}

DIV.left {
    position: absolute;
    top: 100px;
    left: 10px;
    background: yellow;
    width: 180;
    height: 500px;
}

DIV.boxTop {
    background: blue;
    color: yellow;
    padding-left: 5px;
    padding-right: 5px;
    font-family: Verdana;
    font-size: smaller;
}

DIV.boxContents {
    padding-left: 5px;
    padding-right: 5px;
    background: rgb(225,225,255);
    border-left: 2px solid blue;
    border-right: 2px solid blue;
    border-bottom: 2px solid blue;
}

DIV.right {
    position: absolute;
    z-index: 99;
    top: 100px;
    right: 0px;
    width: 180px;
    min-height: 500px;
}

DIV.content {
    position: absolute;
    top: 100px;
    left: 190px;
    width: 600px;
    padding: 10px;
}

DIV.pad {
    padding-left: 5px;
    padding-right: 5px;
}

TABLE.form {

}

DIV.button {
    background: orange;
    border: 2px solid orange;
}

DIV.button:hover {
    background: orange;
    border: 2px dotted red;
}
    

P.warning {
    color: red;
    font-weight: bold;
}

DIV.top {
    background: rgb(200,200,200);
    border-width: 5px;
    border-style: outset;
    font-size: 12px;
}

span.loginText {
    font-size: 60%;
    font-family: arial,sans-serif;
}

a.loginText {
    font-size: 60%;
    font-family: arial,sans-serif;
}

span.label {
    font-family: arial,sans-serif;
}

div.releasenotes {
    

}