diff --git a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
index 63ec5183078..ab870f9aa05 100644
--- a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
+++ b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
@@ -36,7 +36,7 @@ body, table, div, p, dl {
     font-family: Arial, Helvetica;
     font-weight: bold;
     font-size: 12px;
-    height: 22px;
+    height: 14px;
     width: 16px;
     display: inline-block;
     background-color: #67489A;