diff --git a/docs/website/style.css b/docs/website/style.css
index eac72483..a089576b 100644
--- a/docs/website/style.css
+++ b/docs/website/style.css
@@ -84,19 +84,23 @@ hr {
 h1 {
   color: #600000;
   font-family: helvetica, arial, sans-serif;
-  font-size: 130%;
+  font-size: 135%;
   margin-top: 1em;
   margin-bottom: 0.3em;
   }
 
-h2 {
+h2, h3 {
   color: black;
   font-family: helvetica, arial, sans-serif;
-  font-size: 110%;
+  font-size: 115%;
   margin-top: 1em;
   margin-bottom: 0.3em;
   }
 
+h3 {
+  font-size: 100%;
+}
+
 .showcase {
   margin: 2px;
   padding: 2px;