Update table_hide.css

OCR-D · Oct 18, 2022 · bfbb0dc · bfbb0dc
1 parent f3a8ae2
commit bfbb0dc
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/table_hide.css b/scripts/table_hide.css
@@ -47,6 +47,10 @@
 
 /*            Normal Styles*/
 
+            h1.header {
+                font-size: 20px !important;
+            }
+
             header {
             background-color: #c8ab37 !important;
             border-color: #c8ab37 !important;