]> gitweb.factorcode.org Git - factor.git/commitdiff
webapps.wiki: remove unnecessary font-size change in dark theme
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 29 Jan 2023 19:35:44 +0000 (11:35 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 29 Jan 2023 19:35:44 +0000 (11:35 -0800)
extra/webapps/wiki/wiki.css

index 2ae4f6328d503b79b9888f274ee218b9859d1733..635de4c5d881e026ba750f4f8911561e413f1441 100644 (file)
@@ -190,10 +190,6 @@ nav input {
         filter: invert(80%);
     }
 
-    nav input {
-        font-size: smaller;
-    }
-
     #left {
         border: none;
         border-left: 1px solid #666;