From 1d62966f1c91b1911b719e3ac1ce5a1b394944ae Mon Sep 17 00:00:00 2001
From: albert-github <albert.tests@gmail.com>
Date: Thu, 23 Jan 2025 11:53:54 +0100
Subject: [PATCH] Update Documentation/doc/resources/1.8.13/cgal_stylesheet.css

Co-authored-by: Sebastien Loriot <sloriot.ml@gmail.com>
---
 Documentation/doc/resources/1.8.13/cgal_stylesheet.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
index 63ec51830781..ab870f9aa053 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;