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

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.