@charset "utf-8";

body {
width: 100%;
display: inline-block;
background-color:#858585;
color:#222222;
font-family:Verdana, Arial, Helvetica, sans-serif;
font-size:1em;
margin:0;
padding:0
}

a img {
border:none;
margin:0;
padding:0;
text-decoration:none
}

.header {
background:#eeeeee url(./s_header_bottom.png) repeat-x top left;
height:100px;
margin:0;
padding:0
}

.logo {
background:#eeeeee url('./s_common.png') no-repeat top left;
cursor:pointer;
height:80px;
margin:0;
padding:0;
width:485px;
}

@media (max-width: 500px) {
.logo {
width: 337px;
}

}

@media (max-width: 800px) {
#rightad {
display: none;
}
}

@media (max-width: 950px) {
.TopAd {
display:none
}
}

.nocss {
display:none
}

#bar {
color:#eeeeee;
font-size:0.9em;
font-weight:bold;
height:23px;
margin:2px 0 0;
padding:0;
text-align:center;
width:100%
}

#bar a {
color:#eeeeee;
text-decoration:none
}

#bar a:link {
color:#eeeeee;
text-decoration:none
}

#bar a:hover {
border-bottom:1px dotted #f8f8f8;
color:#FFCC00
}

#menu {
  flex-shrink: 0
}

#menu_center {
background:#dddddd;
font-size:0.9em;
border:solid;
border-left:none;
border-color:#cccccc;
border-radius: 0px 10px 10px 0px;
border-width: 1px;
margin: 11px 13px 0 0;
padding: 8px 0 8px 8px;
}

#menu h1 {
font-size:1.1em;
margin-bottom:2px;
margin-top:6px
}

#menu h2 {
font-size:1.1em;
margin-bottom:2px;
margin-top:6px
}

#menu h3 {
font-size:1.1em;
margin-bottom:2px;
margin-top:6px
}

#menu hr {
margin-bottom:4px;
margin-top:4px;
width:100px
}

#menu a {
color:#222222;
display:block;
margin-right:12px;
padding-left:1em;
text-decoration:none
}

#menu a:link {
color:#222222;
display:block;
margin-right:12px;
padding-left:1em;
text-decoration:none
}

#menu_navlinks a:hover {
background-color:#f8f8f8;
color:#bb0000;
margin-right:12px;
text-decoration:none
}

.content {
background-color:#f8f8f8;
font-size:0.9em;
flex-grow:1;
margin-right:20px
}

.main {
background-color:#f8f8F8;
display:flex
}

.content h1 {
margin:6px 6px 6px 0;
text-align:left;
font-size:1.7em
}

.content h2 {
background:transparent url(./h3.png) no-repeat center left;
padding-left:24px;
font-size:1.25em;
margin-top:20px
}

.content h3 {
background:transparent url(./h3.png) no-repeat center left;
padding-left:24px;
font-size:1.05em
}

.content ul {
list-style:none;
margin:0;
padding:0
}

.content ul li {
background:transparent url(.li.png) no-repeat top left;
list-style:none;
margin-bottom:1px;
margin-left:16px;
padding-left:18px
}

.content a {
border-bottom:1px dotted #bb0000;
color:#000000;
text-decoration:none
}

.content a:link {
border-bottom:1px dotted #bb0000;
color:#000000;
text-decoration:none
}

.content a:hover {
background-color:#f8f8f8;
color:#bb0000;
text-decoration:none
}

.overall {
background-color:#f8f8f8;
margin:0;
padding:0;
width:100%
}

.footer {
background:url(./s_header_bottom.png) repeat-x 0px -100px;
display:inline-block;
height:50px;
margin:0;
padding:0;
width:100%
}

* html .footer {
background:#f8f8f8
}

.footer p {
margin-top:30px;
margin-right:10px;
margin-bottom:0px;
font-size:0.8em;
text-align:right
}

.footer a {
border-bottom:1px dotted #444444;
color:#000000;
text-decoration:none
}

.footer a:link {
border-bottom:1px dotted #444444;
color:#bb0000;
text-decoration:none
}

.footer a:hover {
border-bottom:1px solid #bb0000;
color:#bb0000;
text-decoration:none
}

.overallend {
clear:both;
min-height:10px
}

#quickdownloadbox {
display:flex;
flex-wrap: wrap;
margin-left:50px;
overflow:hidden
}

#quickdownloadbox a {
border-bottom:none;
color:#ffffff
}

#quickdownloadbox a:link {
border-bottom:none;
color:#ffffff
}

#quickdownloadbox a:hover {
background-color:transparent;
border-bottom:none;
color:#cccccc
}

.quickdownload {
background:url(./button.png) no-repeat;
height:84px;
padding-left:18px;
padding-top:11px;
width:250px
}

.quickdownload span {
font-size:11px
}

.quickdownload strong {
font-size:20px;
line-height:20px
}

.downloadbutton {
background:url(./button_green.png) no-repeat;
height:84px;
padding-left:18px;
padding-top:22px;
width:250px;
margin-bottom:-20px
}

.downloadbutton span {
font-size:11px
}

.downloadbutton strong {
font-size:20px;
line-height:20px
}

.downloadplatformspacer {
height:105px
}

.downloadplatformend {
margin-bottom:-10px;
margin-left:50px;
margin-top:-10px
}

.downloadplatform p {
margin-left:24px
}

.downloadplatform a {
background:url(./arrow.png) no-repeat;
padding-left:20px
}

.downloadplatform a:link {
background:url(./arrow.png) no-repeat;
padding-left:20px
}

.downloadbutton a {
background:none;
padding-left:0px
}

.downloadbutton a:link {
background:none;
padding-left:0px;
}

#menu_buttons {
text-align:center;
width:125px
}

#menu_buttons img {
margin-bottom:5px;
margin-top:1px
}

#menu_buttons p {
margin: 2px;
margin-top: 1em;
text-align:left;
padding-left:1em;
font-size:0.8em;
color: #333333
}

#warningbox {
background-color:#ffaaaa
}

#infobox {
background-color:#ffffdd
}

#warningbox, #infobox {
border:dashed;
border-color:#000000;
border-width:2px;
padding:10px;
margin-bottom:1em
}

#warningbox h2, #infobox h2 {
background:none;
margin-top:0;
padding-left:0
}

#warningbox ul li, #infobox ul li {
margin-bottom:5px
}

.nightly th {
background:#D0D0D0;
text-align:left
}

.nightly td {
padding:3px
}

.nightlysuccessful td {
background:#A0FFA0;
}

.nightlyfailed td {
background:#FFA0A0
}

.nightlyskipped td {
background:#FFA0A0
}

.nightlyrunning td {
background:#C0C0FF
}

.nightlypending td {
background:#E0E0E0
}

table.translations {
border:solid;
border-color:#000000;
border-width:1px
}

table.translations th {
border-bottom:dashed;
border-width:1px
}

table.translations .tr_tr {
background:#E0E0E0;
text-align:right;
font-size:95%
}

table.translations .tr_fz {
text-align:right;
font-size:95%
}

table.translations .tr_un {
text-align:right;
font-size:95%
}

table.translations .tr_download {
background:#E0E0E0
}

table.translations .tr_graph {
padding-left:5px;
padding-right:5px;
white-space:nowrap
}

.translations .template td {
border-top:dashed;
border-width:1px
}

table.translations .tr_total {
text-align:center
}

.compileerror_caption {
color:#500000;
font-size:130%;
font-weight:bold
}

.compileerror {
border:solid;
border-width:1px;
padding:0 10px 10px
}

.clnavbox {
background:#dddddd;
border:solid;
border-width:1px;
float:right;
margin-bottom:10px;
margin-left:5px;
min-width:270px;
padding:3px;
}

.clnavbox div {
padding:1px
}

.clnavbox p {
margin-bottom:3px;
margin-top:0;
padding:0
}

blockquote {
margin-top: 5px;
margin-bottom: 5px
}

h3 {
margin-bottom:5px;
margin-top:15px;
padding:0
}

h4 {
margin-top: 10px;
margin-bottom: 10px
}

p {
margin-top: 8px;
margin-bottom: 12px
}

.pagenavbottom {
background:#dddddd;
border:solid;
border-width:1px;
bottom:45px;
float:right;
margin-bottom:10px;
padding:3px;
position:relative
}

.pagenavbottom p {
margin-bottom:3px;
margin-top:0;
min-width:270px;
padding:0
}

.changelog ul {
margin-top:7px
}

.changelog h3 {
padding-bottom:5px
}

.changelog a {
color:#707070;
text-decoration:none
}

.changelog a:hover {
border-bottom:dotted;
border-width:1px;
color:#0000FF
}

.downloadscreenshot {
float:right;
clear:right
}
.screenshots p {
margin-bottom:0
}

.screenshot {
float:left;
margin-right:15px;
text-align:center
}

.screenshotnewline {
clear:both
}

.screenshots img {
border:none
}

.details {
display:none;
margin-top:-10px
}

.details p {
font-size:70%;
padding-left:20px;
margin-top:-10px;
margin-bottom:10px
}

.checksum {
padding-left:20px
}

.content .detailslink a {
background:none;
padding-left:0px;
border-bottom:0px
}

content .detailslink a img {
margin-bottom:-3px
}

.sourceforge_accelerator {
height:54px;
}

.otherplatforms a {
background:none;
padding-left:0px;
margin-left:5px
}

.otherplatforms a:link {
background:none;
padding-left:0px;
margin-left:5px
}



.downloadbutton_small {
text-align:center;
background:url(./button_green.png) no-repeat;
background-size: 120px 42px;
height:42px;
padding-top:11px;
width:120px;
margin:2px
}

.downloadbutton_small strong {
font-size:14px;
line-height:20px
}

.downloadbutton_small a {
border-bottom:none;
color:#ffffff
}

.downloadbutton_small a:link {
border-bottom:none;
color:#ffffff
}

.downloadbutton_small a:hover {
background-color:transparent;
border-bottom:none;
color:#cccccc
}


.tooltip {
position: relative;
display: inline-block;
border-bottom: 1px dotted #444444
}

.tooltip .tooltiptext {
visibility: hidden;
width: 120px;
background-color: #333333;
color: #fff;
text-align: center;
border-radius: 6px;
padding: 5px 0;
position: absolute;
z-index: 1
}

.tooltip:hover .tooltiptext {
visibility: visible;
width: 250px;
bottom: 100%;
left: 50%;
margin-left: -125px;
padding: 1em
}

.tooltip .tooltiptext::after {
content: " ";
position: absolute;
top: 100%; /* At the bottom of the tooltip */
left: 50%;
margin-left: -6px;
border-width: 6px;
border-style: solid;
border-color: black transparent transparent transparent
}


#rightad-spacer {
float:right;
width:0px;
height:30em;
}

#rightad {
float:right;
clear:both;
padding:0;
visibility:hidden;
height:210px
}

#leftad {
float:left;
margin-top:1em;
visibility:hidden;
height:210px;
margin-left:0.4em
}

#rightad div, #leftad div {
background-color:#e4e4e4;
padding:0.3em
}

#rightad p, #leftad p {
font-size:70%;
margin:0;
margin-bottom:0.2em
}

#rightad a {
border:none
}

#leftad a {
margin:0 !important;
padding:0 !important;
border:none
}

#rightad-caption, #leftad-caption {
font-size:80%;
width:130px;
margin:0
}

#download_overlay {
position:fixed;
top:0;
left:0;
width:100%;
height:100%;
text-align:center;
background-color:rgba(0, 0, 0, 0.5);
z-index:1;
display: none
}

#download_overlay h1 {
text-align:center
}

#download_overlay_box {
position:relative;
background-color:#ffffff;
display:inline-block;
margin: 0 auto;
top: 20%;
border: 1px solid #404040;
padding:1em
}

@media (max-height: 900px) {
#download_overlay_box {
top: 10%
}
@media (max-height: 800px) {
#download_overlay_box {
top: 5%
}
}