2026-05-12 Tuesday

Moved navigation menu from sidebar to top

Spent multiple hours on getting the navigation menu bar from left sidebar to top. The move was simpler. However, getting the geometry correct took much longer. My knowledge is still not good enough to do these things without help of claude/gemini.