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

Excessive padding in some cases (bikeshedding) #1814

Closed
KristofferC opened this issue May 6, 2022 · 1 comment · Fixed by #1818
Closed

Excessive padding in some cases (bikeshedding) #1814

KristofferC opened this issue May 6, 2022 · 1 comment · Fixed by #1818
Labels
Format: HTML Related to the default HTML output Type: Enhancement

Comments

@KristofferC
Copy link
Member

I feel that the padding used in some elements in the default style is a bit excessive and makes these element take up a lot of vertical space.

Admonitions

gnome-shell-screenshot-62tlxj

Looking at e.g. the docs for Python https://docs.python.org/3/whatsnew/3.10.html and adopting that (7px) would give:

gnome-shell-screenshot-48ref4

Code blocks

image

Going from 0.7 to 0.3 in the padding gives something like:

image

@mortenpi mortenpi added Type: Enhancement Format: HTML Related to the default HTML output labels May 8, 2022
@mortenpi
Copy link
Member

mortenpi commented May 8, 2022

I can get behind reducing the padding in the admonitions for sure. It would also be nice if the left-padding of the content would align with the title. I am not sure I like making the padding this narrow though. Let me make a PR in the next week to bikeshed this a little further.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Format: HTML Related to the default HTML output Type: Enhancement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants