leanprover / leanprover/fp-lean
Accessibility of text in browser
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 192
- Forks
- 73
- PR merge metrics
- No merged PRs in 30d
Description
My eyesight is not good enough to use the default font size, fonts need to be configurable.
The toc on the LHS of the pages does not need to be visible all the time. It uses valuable screen real-estate when it is not being used. The toc should be collapsible.
I am reading on an iPad. The "Reader View" of Safari browser strips the navigation, and not all content survives. It is not the solution.
Thanks for your excellent work.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by inspecting the rendered documentation in a browser, especially on an iPad, and identify where the default font size, page navigation, and table of contents are controlled. Confirm that font sizing can be configured, the left-hand TOC can be collapsed, and all content remains available without relying on Safari Reader View.
Written by the indexing model from the issue text.
Assessment
- Domain
- accessibility, documentation
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100