Use smaller font for Download table

diff --git a/static/debpkg.css b/static/debpkg.css
index 95830bbf371c026a29bf5359a5a9b4ad85a77ddd..7515ea761bbcb530dc7c36ec0690d434a54ee73a 100644 (file)
--- a/static/debpkg.css
+++ b/static/debpkg.css
@@ -219,6 +219,7 @@ div#pothers {
        border-bottom: 1px solid #a9abb3;
        border-top: 1px solid #a9abb3;
        width: 100%;
+       font-size: 0.75em;
 }
 #pdeplegend td li {
        padding-left:0;