Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Large font/accessibility settings #308

Open
adhameer opened this issue Sep 2, 2019 · 0 comments
Open

Large font/accessibility settings #308

adhameer opened this issue Sep 2, 2019 · 0 comments
Labels
kind: feature New user-facing feature.

Comments

@adhameer
Copy link
Contributor

adhameer commented Sep 2, 2019

We would like to be able to adjust the font size for the exercises and playground (in the editor, toplevel, and description, etc.). We have tried doing this by just zooming in, but after zooming in past a certain point the interface changes to the single-column mode, while we would like to keep it with the editor and description side-by-side.

So we're left with manually adjusting the fonts in learnocaml_common.ml:

Ace.set_font_size ace 16;
and in various places in the CSS, and then rebuilding the package.

Could the font size be made adjustable?

@EmileRolley EmileRolley added kind: enhancement Enhancement to an existing user-facing feature. kind: feature New user-facing feature. and removed kind: enhancement Enhancement to an existing user-facing feature. labels Jun 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: feature New user-facing feature.
Projects
None yet
Development

No branches or pull requests

2 participants