Alan Guo Xiang Tan e3501a207f

UX: Add badges section link to community section. (#18044) ...

We have a link to /badges in the old hamburger dropdown so maintaining
parity here.

2022-08-23 15:42:48 +08:00

..

images

FIX: fallback to default push notification icon if none exists (#16961)

2022-06-01 12:00:05 +10:00

javascripts

UX: Add badges section link to community section. (#18044)

2022-08-23 15:42:48 +08:00

stylesheets

UX: Remove sidebar section header background highlight on focus (#18043)

2022-08-23 15:42:25 +08:00