Use configured Shiki colors in both editors #105

Merged

eleith merged 2 commits from feat/configured-editor-theme into main

2026-10-05 13:27:48 +00:00

Author	SHA1	Message	Date
eleith	dc47bcdfbb	[web] use Min themes in the demo ci/woodpecker/pr/web-theme Pipeline was successful Details ci/woodpecker/pr/web-worker Pipeline was successful Details ci/woodpecker/pr/web Pipeline was successful Details ci/woodpecker/push/web-theme Pipeline was successful Details ci/woodpecker/push/web-worker Pipeline was successful Details ci/woodpecker/push/web Pipeline was successful Details	2026-10-04 10:07:42 -07:00
eleith	71d40d3a3f	[web] derive editor colors from configured Shiki themes	2026-10-04 09:43:09 -07:00