body {
    background: #DEF;
    color: #000;
    font-size: 80%;
    font-family: sans-serif;
}
img { border: none; }
#page {
    background: #FFF url('topbg.png') repeat-x;
    width: 54em;
    margin: 2ex auto 1ex auto;
    border: 1px solid #ABC;
    -moz-border-radius: 3ex;
    border-radius: 3ex;
}
#contents, #footer {
    padding: 0 1.5em;
}

#top, #footer {
    text-align: center;
}
#top {
    padding: 1px 0;
    margin: 0 1.5em;
}
#top {
    color: #555;
}
#menu, #menu li {
    margin: 0;
    padding: 0;
    text-indent: 0;
    list-style: none;
}
#menu {
    border-top: 1px solid #ABC;
    border-bottom: 1px solid #ABC;
    padding: 0.5em;
}
#menu li { display: inline; }
#menu li a {
    padding: 0.5em;
    font-weight: bold;
    text-decoration: none;
    color: #249;
}
#menu li a:hover { background: #DEF; }
#footer {
    clear: both;
    margin: 2ex 1.5em;
    padding: 1ex 0 0 0;
    border-top: 1px solid #ABC;
}
#footer, #footer a {
    color: #345;
}
dt {
    margin: 2ex 0 0 0;
    padding: 0;
    font-weight: bold;
}
dl, dd {
    margin: 0;
    padding: 0;
}
dd ul {
    padding-top: 1ex;
}

#about, #download {
    float: left;
    width: 24em;
}
#download { float: right; }
#questions { clear: left; float: left; width: 34em; margin-bottom: 2ex; }
#rightbar { float: right; width: 14em; }
#rightbar form { text-align: center; }

.dlButton, .dlButton span { display: block; }
.dlButton {
    background: #EFC url('buttonbg.png');
    border: 1px solid #390;
    border-radius: 1.5ex;
    -moz-border-radius: 1.5ex;
    color: #280;
    text-decoration: none;
    margin: 0.5ex 5em;
    padding: 1.5ex;
    font-family: sans-serif;
    font-size: 110%;
}
.dlButton .wrapper {
    padding: 4px 0;
    padding-left: 30px;
    background: url('downarrow.png') no-repeat 2px;
}
.dlButton:link:hover, { color: #000; }
.sl { font-size: 75%; }

#langLinks { text-align: right; height: 0; }
#langLinks a { text-decoration: none; color: #000; font-weight: bold; position: relative; top: 1em; left: -1em; }
#langLinks a:hover { text-decoration: underline; }

blockquote.code {
    background: #EEF6FF;
    padding: 1ex;
    margin: 2ex;
    font-size: 110%;
}
.table td {
    border-top: 1px dotted #999;
    padding: 0.5ex 0.5em;
}
td.number { text-align: right; }