MEIER-230: Update ViewEngine, Datastar attrs, Tailwind dropdowns, theme toggle, borders, lazy Prism

[andymeierdev]

Changes

• FSharp.ViewEngine: Updated from 2026.2.2 → 2026.2.5
• Datastar attributes: Renamed _ds prefix to _data prefix (_dsOn → _dataOn, etc.)
• Signal format: Switched to object format data-signals="{...}" to fix case-sensitivity issue with camelCase signal names
• Theme toggle: Replaced single-click toggle with dropdown menu (Light/Dark/System) using <el-dropdown>, highlights active selection
• Mobile nav: Converted to <el-dropdown> with <el-menu>, highlights active page
• Tailwind Plus Elements: Self-hosted tailwindplus-elements.1.js for <el-dropdown>/<el-menu> components
• Borders: Standardized light (border-gray-300, content border-gray-300/60) and dark (dark:border-gray-700, content dark:border-gray-700/60) borders
• Footer: Matched header background (bg-gray-100)
• Prism.js: Lazy-loaded only on article pages instead of globally
• Handler ordering: Moved patchSignals before patchElement in all handlers
• Nav highlighting: Fixed desktop and mobile nav highlighting on both manual navigation and SPA navigation

[github-actions]

🍹 preview on andrewmeier/prod

Pulumi report

View in Pulumi Cloud

  Previewing update (prod)

View Live: https://app.pulumi.com/meiermade/andrewmeier/prod/previews/d73d7d1a-2897-403c-9bbf-ffcdaaed9e2f

pulumi:pulumi:Stack: (same)
  [urn=urn:pulumi:prod::andrewmeier::pulumi:pulumi:Stack::andrewmeier-prod]
  ~ docker:index/image:Image: (update)
      [id=941377122014.dkr.ecr.us-east-1.amazonaws.com/andrewmeier]
      [urn=urn:pulumi:prod::andrewmeier::docker:index/image:Image::andrewmeier]
    + build: {
        + context      : "/home/runner/work/andrewmeier/andrewmeier/app"
        + contextDigest: "2d366b50d759f95f9d18ba1b90ee4ca9a811e31f4868d6b2dd7bd6f384b2dfb6"
        + dockerfile   : "/home/runner/work/andrewmeier/andrewmeier/app/Dockerfile"
        + platform     : "linux/arm64"
      }
  ~ kubernetes:apps/v1:Deployment: (update)
      [id=andrewmeier/app]
      [urn=urn:pulumi:prod::andrewmeier::kubernetes:apps/v1:Deployment::app]
    ~ spec: {
        ~ template: {
            ~ spec: {
                ~ containers: [
                    ~ [0]: {
                            ~ image: "941377122014.dkr.ecr.us-east-1.amazonaws.com/andrewmeier@sha256:283c396bc869c283c570db5ae46ba483577a37c4601b3dcce8dce8ba4af607d0" => [unknown]
                          }
                  ]
              }
          }
      }
Resources:
  ~ 2 to update
  11 unchanged