body {
    color: black;
    background-color: white;
    font-family: "Bitstream Vera Sans", "Lucida Grande", "Trebuchet MS", sans-serif;
    margin: 0;
    padding: 1em 0;
    text-align: center;
}

img {
    border: 0;
}

div#Page {
    text-align: left;
    margin: 0 auto;
    padding: 0;
    background: #F7F7FF;
    font-family: "Bitstream Vera Sans", "Lucida Grande", "Trebuchet MS", sans-serif;
}

h1 {
    color: #F7800A;
    border-bottom: #bcbcbc 1px solid;
    margin: 0;
    padding: 0.1em;
    text-align: center;
}

button:hover {
    border-color: black;
}

button#Download {
    color: #ffffff;
    background: #3faf3f;
    text-align: left;
    border-bottom: #bcbcbc 1px solid;
    border-radius:18px;
    padding: 12px;
}

div#Header {
    width: 100%;
    color: #535353;
    background: #eeeeee;
    border-bottom: #bcbcbc 1px solid;
    margin: 0 auto;
    padding: 0;
    text-align: center;
}

#Header_top {
    margin: 0 auto;
    padding: 0;
    width: 60em;
    min-width: 770px;
    /* max-width: 45em; */
    vertical-align: middle;
    color: #ffffff;
    background: url(image/top.jpg) repeat-x bottom;
    background-color: #0057ae;
}

#Header_top div {
    margin: 0 auto;
    padding: 0;
    background: url(image/top-left.jpg) no-repeat bottom left;
}

#Header_top div div {
    margin: 0 auto;
    padding: 0;
    vertical-align: middle;
    text-align: center;
    font-size: 1.7em;
    font-weight: bold;
    background: url(image/top-right.jpg) no-repeat bottom right;
}

#Header_top div div img {
    margin:8px 8px 9px 18px;
    vertical-align: middle;
}

ul#Navigation {
    float: left;
    margin: 0;
    padding: 1.0em;
}
* html ul#Navigation {  /* for IE 5.x */
    width: 11.6em;
    width: 10em;
    padding-left: 0;
    padding-left: 0.8em;
}
ul#Navigation li {
    list-style: none;
    margin: 0.4em;
    padding: 10px;
    border-radius:12px;
}

ul#Navigation li {
    padding: 0;
    padding-left: 0.4em;
    padding-right: 0.4em;
}

ul#Navigation li ul li {
    margin: 0.1em 0;
}
* html ul#Navigation li ul li {  /* or IE 5.x */
    margin-left: 1em;
    margin-left: 0;
}

ul#Navigation a {
    display:block;
    padding: 0.2em;
    padding-left: 0.4em;
    padding-right: 0.4em;
    text-decoration: none;
    color: blue;
    border-radius:12px;
}

* html ul#Navigation a {
    width: 100%;    /* for IE 5.x */
    width: 8.8em;  /* for IE 6 */
}

* html ul#Navigation li ul li a {
    width: 100%;    /* for IE 5.x */
    width: 7.8em;  /* for IE 6 */
}

#Navigation_current {
    border: 1px solid black;
    color: blue;
    font-weight: bold;
    font-size: 1.14em;
}

ul#Navigation a:hover {
    border-color: white;
    border-left-color: black;
    border-top-color: black;
    color: white;
    background-color: blue;
}

div#Content {
    margin: 0 0 1em 220px;
    padding: 0 1em;
    text-align: left;
}
* html div#Content {
    height: 1em;  /* workaround for IE < 6 */
    margin-bottom: 0;
}
div#Content h2 {
    text-align: center;
    font-size: 1.2em;
    margin: 0.2em 0;
    color: white;
    background: #3E91EB;
    border-top: #BCBCBC 1px solid;
    border-bottom: #BCBCBC 1px solid;
}
div#Content p {
    font-size: 1em;
    margin: 1em 0;
}

#Content table {
    margin: 1em 0;
    background-color: #F0F0F0;
    border-collapse: collapse;
    border-width: 1px;
    border-style:dotted;
    border-color:silver;
}
#Content tr th {
    background-color: #4189DE;
    padding: 0.3em;
}
#Content tr td {
    padding: 0.2em;
}

/* download states */
td.StateOK {
    padding: 0.2em;
    background-color: #7FFF7F;
    text-align: center
}
td.StateBad {
    padding: 0.2em;
    background-color: #FFFF7F;
    text-align: center
}
td.StateBroken {
    padding: 0.2em;
    background-color: #FF3F3F;
    text-align: center
}

#Footer {
    clear: both;
    font-size: 0.83em;
    margin: 0;
    padding: 0.1em;
    text-align: center;
    background-color: #F0F0F0;
    border-top: none;
}

.screenshot {
    float: left;
    width: 200px;
    padding: 4px;
}