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

Doc improvements #609

Merged
merged 6 commits into from
Dec 9, 2023
Merged

Doc improvements #609

merged 6 commits into from
Dec 9, 2023

Conversation

AngelEzquerra
Copy link
Contributor

This PR makes a few small improvements to the docs and the README. Each commit is atomic so hopefully they are pretty self explanatory.

…er to use

The "Technical reference" submenu is horizontal which with the default padding makes it quite hard to use.
It is very easy to move the mouse outside of the menu and then the menu is closed.
Adding some padding makes it easier to use. The drawback is that it looks a little different than the other menus, which are vertical.

The ideal solution would be to make all the menus vertical, but since the "Technical reference" submenu is 2 levels deep this is not straightforward to do.
This is not a proper fix, but a hack removing most color and background-color entries in the docutils.css. We should probably make a better fix but this would do for now.
@mratsim
Copy link
Owner

mratsim commented Dec 9, 2023

Awesome, thanks!

@mratsim mratsim merged commit 9016729 into mratsim:master Dec 9, 2023
8 checks passed
@AngelEzquerra AngelEzquerra deleted the doc_improvements branch January 15, 2024 18:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants