Kian Jones b8e9a80d93 merge this (#4759) ...

* wait I forgot to comit locally

* cp the entire core directory and then rm the .git subdir

2025-09-17 15:47:40 -07:00

..

fonts

merge this (#4759)

2025-09-17 15:47:40 -07:00

banner_blue_small.webp

merge this (#4759)

2025-09-17 15:47:40 -07:00

banner_orange_small.webp

merge this (#4759)

2025-09-17 15:47:40 -07:00

favicon.png

merge this (#4759)

2025-09-17 15:47:40 -07:00

leaderboard.css

merge this (#4759)

2025-09-17 15:47:40 -07:00

leaderboard.js

merge this (#4759)

2025-09-17 15:47:40 -07:00

logo-dark.svg

merge this (#4759)

2025-09-17 15:47:40 -07:00

logo-light.svg

merge this (#4759)

2025-09-17 15:47:40 -07:00

styles.css

merge this (#4759)

2025-09-17 15:47:40 -07:00