1 files changed, 1 insertions, 1 deletions

diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css
index 67184972e1..23c8e74c1e 100644
--- a/documentation/dev-manual/style.css
+++ b/documentation/dev-manual/style.css
@@ -110,7 +110,7 @@ h5 {
 h6 {
   margin: 1em 0em 0em 0em;
   padding: 1em 0em 0em 0em;
-  font-size: 80%;
+  font-size: 110%;
   font-weight: bold;
 }