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