Browse Source

Shrink base font size slightly

TEC 6 months ago
parent
commit
3a6ebc0eab

+ 1 - 2
resources/style/_font.scss

@@ -31,8 +31,7 @@
 // }
 
 html {
-    font-family: "Droid Serif", Cambria, Big Carslon, Lucida Bright, Georgia, "DejaVu Serif", serif;
-    font-weight: 400;
+    font: 400 0.9em "Droid Serif", Cambria, Big Carslon, Lucida Bright, Georgia, "DejaVu Serif", serif;
 }
 
 :root {

+ 1 - 2
resources/style/errors.css

@@ -23,8 +23,7 @@
   unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
 
 html {
-  font-family: "Droid Serif", Cambria, Big Carslon, Lucida Bright, Georgia, "DejaVu Serif", serif;
-  font-weight: 400; }
+  font: 400 0.9em "Droid Serif", Cambria, Big Carslon, Lucida Bright, Georgia, "DejaVu Serif", serif; }
 
 :root {
   --sans: -apple-system, BlinkMacSystemFont, San Francisco, Helvetica Neue, Helvetica, Ubuntu, Roboto, Noto, Segoe UI, Arial, sans-serif; }

File diff suppressed because it is too large
+ 1 - 1
resources/style/errors.min.css


File diff suppressed because it is too large
+ 1 - 1
resources/style/errors.min.css.map


+ 1 - 2
resources/style/org.css

@@ -24,8 +24,7 @@
   unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
 
 html {
-  font-family: "Droid Serif", Cambria, Big Carslon, Lucida Bright, Georgia, "DejaVu Serif", serif;
-  font-weight: 400; }
+  font: 400 0.9em "Droid Serif", Cambria, Big Carslon, Lucida Bright, Georgia, "DejaVu Serif", serif; }
 
 :root {
   --sans: -apple-system, BlinkMacSystemFont, San Francisco, Helvetica Neue, Helvetica, Ubuntu, Roboto, Noto, Segoe UI, Arial, sans-serif; }

File diff suppressed because it is too large
+ 1 - 1
resources/style/org.min.css


File diff suppressed because it is too large
+ 1 - 1
resources/style/org.min.css.map