fix

ckrause · ckrause · commit 36e211752b0c · 2025-09-11T17:16:20.000+02:00
diff --git a/programs.html b/programs.html
@@ -16,12 +16,39 @@
   </style>
 </head>
 <body>
-  {% include header.html %}
+  <header class="site-header">
+    <div class="wrapper">
+      <a class="site-title" rel="author" href="/">
+        <picture>
+          <source srcset="/loda-top-icon.png 1x, /loda-top-icon@2x.png 2x, /loda-top-icon@3x.png 3x">
+          <img src="/loda-top-icon.png" alt="Logo of the LODA language">
+        </picture>
+        <span>LODA Language</span>
+      </a>
+      <nav class="site-nav">
+        <input type="checkbox" id="nav-trigger" class="nav-trigger" />
+        <label for="nav-trigger">
+          <span class="menu-icon">
+            <svg viewBox="0 0 18 15" width="18px" height="15px">
+              <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/>
+            </svg>
+          </span>
+        </label>
+        <div class="trigger">
+          <a class="page-link is-active" href="https://loda-lang.org/programs.html">Programs</a>
+          <a class="page-link" href="/contributing.html">Contributing</a>
+          <a class="page-link" href="/install.html">Installation</a>
+          <a class="page-link" href="/spec.html">Specification</a>
+          <a class="page-link" href="https://api.loda-lang.org/v2/openapi">API</a>
+        </div>
+      </nav>
+    </div>
+  </header>
   <main class="page-content" aria-label="Content">
     <div class="wrapper">
       <article class="post">
         <header class="post-header">
-          <h1 class="post-title">Integer Sequence Programs</h1>
+          <h1 class="post-title">Integer Sequences and LODA Programs</h1>
         </header>
         <div class="post-content">
           <form id="search-form">
