- remove header icons (except play/stop button)

- use unicode spiral instead of emoji spiral
- fix header height on mobile

website/src/components/Header/Header.astro

@@ -28,11 +28,10 @@ const baseNoTrailing = BASE_URL.endsWith('/') ? BASE_URL.slice(0, -1) : BASE_URL
   <div class="flex overflow-visible items-center grow" style="overflow:visible">
     <div class="flex items-center text-2xl space-x-2">
       <h1 class="font-bold flex space-x-2 items-baseline text-xl">
-        <span>🌀</span>
+        <span class="block rotate-90 text-blue-500">꩜</span>
         <div class="flex space-x-2 items-baseline">
           <span class="">strudel</span>
-          <span class="text-sm">DOCS</span>
-          <a href={`${baseNoTrailing}/`} class="text-sm opacity-25">REPL</a>
+          <span class="text-sm font-medium">DOCS</span>
         </div>
       </h1>
     </div>