From 800a08f4deeea3d37fc188f20e5b26f91781bd32 Mon Sep 17 00:00:00 2001 From: Tim Gerundt Date: Tue, 25 Jan 2011 17:38:55 +0100 Subject: [PATCH] Web: Add "Download Now!" link --- htdocs/index.php | 1 + htdocs/site/css/all.css | 43 +++++++++++++++++++++++++++++++++++++++++ 2 files changed, 44 insertions(+) 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

+

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; }