--- "@jmfederico/pi-web": patch --- Keep the documentation site's GitHub and theme controls visible in mobile portrait layouts.