Bug#696873: just increase the font size

[Thomas Lange <lange@informatik.uni-koeln.de>]

My proposal for a better home page also includes a slighty increased
font size of the download button. This is not perfect, but is IMO a
simple change that helps a lot.


diff -u debhome.css /scratch/debian-homepage
--- debhome.css 2018-07-26 17:36:02.496582177 +0200
+++ /scratch/debian-homepage/debhome.css   2018-07-27 12:14:32.000000000 +0200
@@ -49,7 +49,7 @@
        display: block;
        position: absolute;
        right: 13px;
-       font-size: 0.75em;
+       font-size: 1.1em;
        line-height: 2;
        background-color: white;
        margin-top: 10px;

-- 
regards Thomas