Reading options settings dialog

[Andrew Scholer]

Rob just merged a PR that contains a readability options dialog. (Usual delay may apply before you see it if using the CLI.)

As of now, it includes the dark/light mode switch (moved from a standalone button), line height, content font size, and an option to expose permalinks to screen readers (starting now, those will default to being invisible to accessibility tools and keyboard navigation). Font size intentionally only affects the main content area - browsers already enable global zoom to resize everything, this feature is just designed to make the main body slightly larger (or smaller) for those who prefer.

Some of those settings will no doubt need tweaking - places where the line height or font size is overridden by some more specific rule. If you bump into something, please submit a report (or a PR).

Andrew