doc: renaming logo.png to hero-banner + minor touches in the PNG

Unipisa · Mar 28, 2024 · 6873362 · 6873362
1 parent 550f3b0
commit 6873362
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/doc/src/_static/logo.png → doc/src/_static/hero-banner.png b/doc/src/_static/logo.png → doc/src/_static/hero-banner.png
diff --git a/doc/src/_static/sphinx-omnetpp.css b/doc/src/_static/sphinx-omnetpp.css
@@ -93,7 +93,7 @@ figure img {
     display: block; /* Treat the pseudo-element like a block-level element */
     width: 400px; /* Width of the image */
     height: 100px; /* Height of the image */
-    background-image: url('logo.png'); /* Path to your image */
+    background-image: url('hero-banner.png'); /* Path to your image */
     background-size: cover; /* Ensure the image covers the pseudo-element */
     background-repeat: no-repeat; /* Prevent the image from repeating */
     border-radius: 0.2rem;