GitHub Dark Default theme for Pi

A GitHub Dark Default-inspired theme for the Pi coding agent.

Install

pi install git:github.com/Federicocervelli/pi-theme-github-dark-default

Then select github-dark-default from /settings, or add this to settings.json:

{
  "theme": "github-dark-default"
}

Pi automatically loads updates after pi update --extensions. The active theme also supports hot reload.