Update CGAL stylesheet

A number of png images ("icons") have been replaced by svg images but this has not been updated in the CGAL used stylesheet
This commit is contained in:
albert-github 2023-04-23 11:52:55 +02:00
parent 8ad6096550
commit 42b84bbbf2
1 changed files with 4 additions and 4 deletions

View File

@ -869,7 +869,7 @@ div.directory {
width: 24px;
height: 18px;
margin-bottom: 4px;
background-image:url('folderopen.png');
background-image:url('folderopen.svg');
background-position: 0px -4px;
background-repeat: repeat-y;
vertical-align:top;
@ -880,7 +880,7 @@ div.directory {
width: 24px;
height: 18px;
margin-bottom: 4px;
background-image:url('folderclosed.png');
background-image:url('folderclosed.svg');
background-position: 0px -4px;
background-repeat: repeat-y;
vertical-align:top;
@ -891,7 +891,7 @@ div.directory {
width: 24px;
height: 18px;
margin-bottom: 4px;
background-image:url('doc.png');
background-image:url('doc.svg');
background-position: 0px -4px;
background-repeat: repeat-y;
vertical-align:top;
@ -1388,7 +1388,7 @@ div.toc {
}
div.toc li {
background: url("bdwn.png") no-repeat scroll 0 5px transparent;
background: url("bdwn.svg") no-repeat scroll 0 5px transparent;
font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
margin-top: 5px;
padding-left: 10px;