diff --git a/htdocs/index.php b/htdocs/index.php index 1bf96f256..274b04353 100644 --- a/htdocs/index.php +++ b/htdocs/index.php @@ -41,6 +41,7 @@ only detects the types of bugs that the compilers normally fail to detect. The goal is no false positives.
Download Now! Version 1.46.1 for Windows
You can download the standalone tool from our project page or try it as plugin for your favorite IDE:
diff --git a/htdocs/site/css/all.css b/htdocs/site/css/all.css index 3b2e9901a..86f110ae9 100644 --- a/htdocs/site/css/all.css +++ b/htdocs/site/css/all.css @@ -73,6 +73,49 @@ a:active { color:#369; text-decoration:none; } font-size: smaller; } +/* "Download Now!" link */ +a.downloadnow { + display: block; + width: 12em; + margin: 0; + padding: 5px; + text-align: center; + text-decoration: none; + color: white; + background: #060; + border: 1px solid #060; + /* border-radius */ + border-radius: .5em; + -moz-border-radius: .5em; + -khtml-border-radius: .5em; + -webkit-border-radius: .5em; +} + +a.downloadnow:link, +a.downloadnow:visited { + text-decoration: none; + color: white; +} + +a.downloadnow:focus, +a.downloadnow:hover { + text-decoration: none; + color: white; + background: #090; +} + +a.downloadnow strong { + display: block; + font-size: larger; + font-weight: bold; +} + +a.downloadnow em { + display: block; + font-size: smaller; + font-style: normal; +} + /* Printing */ @media print { #header { color: black; border-bottom: 1px solid black; }