diff options
| author | OwO Swordsman | 2023-01-07 05:35:37 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-07 05:35:37 +0000 |
| commit | 9f0d939f2535187157c0aae324c6614872684354 (patch) | |
| tree | 010f4f5571e2f0d931e328e412ae9988b3116135 /runtime/queries | |
| parent | bd5da8010899ef55b1c4c623ebebbb91e99dcbb4 (diff) | |
Add GitHub themes (#5353)
* Add github themes
* Increase contrast for hover and completion menus
* Use inheritance for the GitHub themes
Diffstat (limited to 'runtime/queries')
0 files changed, 0 insertions, 0 deletions