Update Documentation/doc/resources/1.8.13/cgal_stylesheet.css

Co-authored-by: Sebastien Loriot <[email protected]>
CGAL · Jan 23, 2025 · 1d62966 · 1d62966
1 parent bfcb098
commit 1d62966
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;