]> gitweb.factorcode.org Git - factor.git/commitdiff
webapps.help: don't use smaller in footer
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 19 Jan 2022 23:38:30 +0000 (15:38 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 19 Jan 2022 23:38:30 +0000 (15:38 -0800)
extra/webapps/help/search.xml

index 1144c23271dcc84b310b28ff1e1d45defbeb9aa9..928def0a1d088d92aa77d0d7344473f67fe180cc 100644 (file)
@@ -51,7 +51,7 @@
 
     <br />
     <div class="footer">
-    <p style="font-size: smaller;">
+    <p>
     This documentation was generated offline from a
     <code>load-all</code> image.  If you want, you can also
     browse the documentation from within the <a