adjust size of custom icon on smaller devices

moinwiki · Oct 30, 2023 · 18d8d9b · 18d8d9b
1 parent d008c2a
commit 18d8d9b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/moin/themes/focus/static/css/theme.css b/src/moin/themes/focus/static/css/theme.css
@@ -299,6 +299,8 @@ tr > th { background-color: var(--accent-lighter); }
     .moin-form dt { text-align: start; }
     #moin-pageinfo { margin-bottom: 10pt; }
     #moin-footer { padding: 0pt 8pt; }
+
+    .fa.global-history { height: 22pt; width: 22pt; }
 }
 
 @media (min-width: 1000pt) {