songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Correct icon sizes 

Correct icon sizes
This commit is contained in:
albert-github 2025-01-20 15:03:46 +01:00 committed by Sébastien Loriot
parent 5139e6ed09
commit e36065c773
3 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Documentation/doc/resources/1.10.0/cgal_stylesheet.css
View File

@ -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;

6
Documentation/doc/resources/1.8.13/cgal_stylesheet.css
View File

@ -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;

6
Documentation/doc/resources/1.9.6/cgal_stylesheet.css
View File

@ -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;