mirror of
https://seed.radicle.dev/rad:z4V1sjrXqjvFdnCUbxPFqd5p4DtH5.git
synced 2026-10-30 08:40:52 +08:00
Moving the theme toggle inside a settings dropdown in-place. Adding a switch for the used monospace font, user can either use the OS or browser default, or switch to "JetBrains Mono". Signed-off-by: Sebastian Martinez <me@sebastinez.dev>