API doc: show logo instead of textual project name

mgrojo · Oct 8, 2023 · 62751b0 · 62751b0
1 parent 04d1677
commit 62751b0
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 10 deletions.
diff --git a/doc/gnatdoc.css b/doc/gnatdoc.css
@@ -50,11 +50,12 @@ td {
 }
 
 #toc p.projectName {
-    margin-top: 20px;
-    margin-left: 20px;
-    margin-bottom: 0;
-    color: #bbb;
-    font-size: 400%;
+    # Hide the text to show the logo
+    text-indent: -9999px;
+    margin-left: 65px;
+    height: 134px;
+    width: 394px;
+    background: url('images/ASFML_Logo.svg') no-repeat;
 }
 
 #toc p.documentationTimestamp {

diff --git a/tools/gnatdoc_html/static/gnatdoc.css b/tools/gnatdoc_html/static/gnatdoc.css
@@ -50,11 +50,12 @@ td {
 }
 
 #toc p.projectName {
-    margin-top: 20px;
-    margin-left: 20px;
-    margin-bottom: 0;
-    color: #bbb;
-    font-size: 400%;
+    # Hide the text to show the logo
+    text-indent: -9999px;
+    margin-left: 65px;
+    height: 134px;
+    width: 394px;
+    background: url('images/ASFML_Logo.svg') no-repeat;
 }
 
 #toc p.documentationTimestamp {