help.html: set footer font size

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 7e55b461a1f9e2449d435a6ce460f0ddedecf190..fa2f2dd78304107f149463c67c1607cd498b3449 100644 (file)
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -73,7 +73,7 @@ tr:hover {
     margin-top: 15px;
     border-top: 1px dashed #ccc;
     color: #666;
-    font-size: smaller;
+    font-size: 10pt;
 }
 
 @media screen and (max-width: 480px) {