add Coq typeclass index problem draft

[web.git] / personal / _sass / _base.scss

diff --git a/personal/_sass/_base.scss b/personal/_sass/_base.scss
index af78fcd2a7b9dad5d9a6623228e35097ce99c025..dff3b829a736f39460fefac240ec84a0dfe94387 100644 (file)
--- a/personal/_sass/_base.scss
+++ b/personal/_sass/_base.scss
@@ -33,12 +33,12 @@ h2 {
 }
 h3 {
     margin-top: 0.5em;
-    font-size: 135%;
+    font-size: 130%;
     margin-bottom: 0.1em;
 }
 h4 {
     margin-top: 0.5em;
-    font-size: 120%;
+    font-size: 110%;
     margin-bottom: 0.0em;
 }