From e36065c77307b1e7d9239ae497b424bd9c777fb7 Mon Sep 17 00:00:00 2001 From: albert-github Date: Mon, 20 Jan 2025 15:03:46 +0100 Subject: [PATCH 1/4] Correct icon sizes Correct icon sizes --- Documentation/doc/resources/1.10.0/cgal_stylesheet.css | 6 +++--- Documentation/doc/resources/1.8.13/cgal_stylesheet.css | 6 +++--- Documentation/doc/resources/1.9.6/cgal_stylesheet.css | 6 +++--- 3 files changed, 9 insertions(+), 9 deletions(-) diff --git a/Documentation/doc/resources/1.10.0/cgal_stylesheet.css b/Documentation/doc/resources/1.10.0/cgal_stylesheet.css index 71fe3a10aff..d7d2a77ba35 100644 --- a/Documentation/doc/resources/1.10.0/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.10.0/cgal_stylesheet.css @@ -52,7 +52,7 @@ h2 { font-family: Arial, Helvetica; font-weight: bold; font-size: 12px; - height: 14px; + height: 22px; width: 16px; display: inline-block; background-color: #FF0000; @@ -67,7 +67,7 @@ h2 { font-family: Arial, Helvetica; font-weight: bold; font-size: 12px; - height: 14px; + height: 22px; width: 16px; display: inline-block; background-color: #0000FF; @@ -82,7 +82,7 @@ h2 { font-family: Arial, Helvetica; font-weight: bold; font-size: 12px; - height: 14px; + height: 22px; width: 16px; display: inline-block; background-color: #67489A; diff --git a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css index ab870f9aa05..1a37400d58f 100644 --- a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css @@ -6,7 +6,7 @@ body, table, div, p, dl { font-family: Arial, Helvetica; font-weight: bold; font-size: 12px; - height: 14px; + height: 22px; width: 16px; display: inline-block; background-color: #FF0000; @@ -21,7 +21,7 @@ body, table, div, p, dl { font-family: Arial, Helvetica; font-weight: bold; font-size: 12px; - height: 14px; + height: 22px; width: 16px; display: inline-block; background-color: #0000FF; @@ -36,7 +36,7 @@ body, table, div, p, dl { font-family: Arial, Helvetica; font-weight: bold; font-size: 12px; - height: 14px; + height: 22px; width: 16px; display: inline-block; background-color: #67489A; diff --git a/Documentation/doc/resources/1.9.6/cgal_stylesheet.css b/Documentation/doc/resources/1.9.6/cgal_stylesheet.css index 71fe3a10aff..d7d2a77ba35 100644 --- a/Documentation/doc/resources/1.9.6/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.9.6/cgal_stylesheet.css @@ -52,7 +52,7 @@ h2 { font-family: Arial, Helvetica; font-weight: bold; font-size: 12px; - height: 14px; + height: 22px; width: 16px; display: inline-block; background-color: #FF0000; @@ -67,7 +67,7 @@ h2 { font-family: Arial, Helvetica; font-weight: bold; font-size: 12px; - height: 14px; + height: 22px; width: 16px; display: inline-block; background-color: #0000FF; @@ -82,7 +82,7 @@ h2 { font-family: Arial, Helvetica; font-weight: bold; font-size: 12px; - height: 14px; + height: 22px; width: 16px; display: inline-block; background-color: #67489A; From 3aa58ef5fb8104eea0bce9fa5cb972fc492f4782 Mon Sep 17 00:00:00 2001 From: albert-github Date: Thu, 23 Jan 2025 11:53:36 +0100 Subject: [PATCH 2/4] Update Documentation/doc/resources/1.8.13/cgal_stylesheet.css Looks like it is not necesary for the 1.8.13 version Co-authored-by: Sebastien Loriot --- 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 1a37400d58f..8a8cc9f4d1f 100644 --- a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css @@ -6,7 +6,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: #FF0000; From 8a5cbddf72e21e29245f261211bac1b0c02962ff Mon Sep 17 00:00:00 2001 From: albert-github Date: Thu, 23 Jan 2025 11:53:46 +0100 Subject: [PATCH 3/4] Update Documentation/doc/resources/1.8.13/cgal_stylesheet.css Co-authored-by: Sebastien Loriot --- 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 8a8cc9f4d1f..63ec5183078 100644 --- a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css @@ -21,7 +21,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: #0000FF; From 8824b917ae57d2737403e0ddaf440eac998e7358 Mon Sep 17 00:00:00 2001 From: albert-github Date: Thu, 23 Jan 2025 11:53:54 +0100 Subject: [PATCH 4/4] Update Documentation/doc/resources/1.8.13/cgal_stylesheet.css Co-authored-by: Sebastien Loriot --- 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 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;