Index: manual.css
===================================================================
RCS file: /web/gnulib/gnulib/manual.css,v
retrieving revision 1.8
diff -U 2 -r1.8 manual.css
--- manual.css	13 Nov 2020 21:28:02 -0000	1.8
+++ manual.css	13 Dec 2020 07:23:09 -0000
@@ -38,6 +38,5 @@
 .header {
     line-height: 2em;
-    font-size: 80%;
-    font-weight: lighter;
+    font-size: 87.5%;
     color: #433;
 }
@@ -47,9 +46,9 @@
 .settitle, .top, .chapter {
     font-family: Fira Sans, sans;
-    font-size: 300%;
+    font-size: 250%;
 }
 .section, .subsection, .subsubsection { 
     font-family: Fira Sans, sans;
-    font-size: 200%; 
+    font-size: 150%; 
 }
 
@@ -73,7 +72,4 @@
 
 body {
-    /* The shadow around the body is distracting.  */
-    box-shadow: 0 0 0 0;
-
     /* Make sure the body doesn't become to wide: long lines are hard to
        read.  */