pi-web/.changeset/mobile-docs-header-controls.md at 680ed88b0bc82f37e5e2de1cc9f06975e20c4049

Archived

This repository has been archived on 2026-08-23. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Files

T

2026-06-07 12:52:21 +02:00

@jmfederico/pi-web

@jmfederico/pi-web
patch

Keep the documentation site's GitHub and theme controls visible in mobile portrait layouts.