diff --git a/docbook/ws.css b/docbook/ws.css
index 5a9c843099..1531e50e5b 100644
--- a/docbook/ws.css
+++ b/docbook/ws.css
@@ -41,6 +41,7 @@ div.example p.title
 }
 
 body h1 {
+  font-size: 1.4em;
   margin: .0em 0 0 -4%;
   line-height: 1.3;
   border-bottom: 2px solid silver;