2 files changed, 2 insertions, 1 deletions
diff --git a/web-prologue.xhtml b/web-prologue.xhtml
index e132fcb..d01525b 100644
--- a/web-prologue.xhtml
+++ b/web-prologue.xhtml
@@ -10,6 +10,7 @@
 $./common.css$
 $./pre-box.css$
 $./code-box.css$
+$./toc.css$
 $./web.css$
   </style>
 </head>
diff --git a/web.css b/web.css
index 57e0df0..874a618 100644
--- a/web.css
+++ b/web.css
@@ -42,7 +42,7 @@ h2
 }
 
 /* This one is used for FAQ questions. A hack to avoid separate style file. */
-h3
+h4
 {
   font-weight: normal;
   font-size: 1.223em;