Merge pull request #20 from odersky/add-banner

avoid header duplication 4th attempt
odersky · Apr 12, 2024 · 676e393 · 676e393
2 parents 87eb084 + e663a3a
commit 676e393
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/_includes/header.html b/_includes/header.html
@@ -1,5 +1,5 @@
 <header class="site-header" role="banner">
-    <div class="wrapper" style="background-image: url('https://github.com/odersky/misc/blob/main/scala-stairs.png?raw=true'); height: 200px; background-size: cover; background-position: center;">
+    <div class="wrapper">
         <a class="site-title" rel="author" href="{{ "/" | relative_url }}">{{ site.title | escape }}</a>
         <nav class="site-nav">
             <input type="checkbox" id="nav-trigger" class="nav-trigger" />
@@ -21,4 +21,6 @@
             </div>
         </nav>
     </div>
+    <!-- Add this line below for the banner image -->
+    <div style="background-image: url('https://github.com/odersky/misc/blob/main/scala-stairs.png?raw=true'); height: 300px; background-size: cover; background-position: center;"></div>
 </header>