suggestion: custom styling
edit: sorry if I put it in the wrong place instead of archived repo?
probably custom css, possibly also user-friendlier customization (e.g. colorpickers)?
one reason would be light/dark theme switching and customizing (including font size, font family, front/background colors, etc)
and main reason I'm asking would be, since my phone's fonts seem weird, in that ┌ (and other side) is way higher than supposed, while ┍ and other chars draw fine, I could then force a known good font with css, or font selection box
It should be fairly simple to add an input box where you can add custom rules, and choose whether to append or replace the existing CSS entirely.
It should be possible to toggle the built-in dark theme by enabling and setting the prefers-color-scheme feature within your browser. See these instructions for Firefox, under "It might be simpler to modify the global preference."
I don't plan on adding color pickers but a PR adding such a feature would be helpful. I'll leave this open until that is added.
Deleting a branch is permanent. It CANNOT be undone. Continue?