Max Brunsfeld 4ec2d6e50d Tweak navigation bar colors in theme ...

I meant to include this in #1297

2022-07-06 16:45:38 -07:00

..

styleTree

Tweak navigation bar colors in theme

2022-07-06 16:45:38 -07:00

themes

Added a test with max, cludged a fix for resizing

2022-06-29 13:07:44 -07:00

utils

working jump to definition with tests

2022-06-24 15:09:31 -07:00

buildThemes.ts

Delete theme files more selectively when regenerating them

2022-05-18 14:17:26 -07:00

common.ts

working jump to definition with tests

2022-06-24 15:09:31 -07:00

themes.ts

Clean up themes

2022-05-18 11:41:56 -04:00