Skip to content

Use a monospaced font for code blocks - #96

Open
edgar-bonet wants to merge 1 commit into
RedPitaya:masterfrom
edgar-bonet:font
Open

Use a monospaced font for code blocks#96
edgar-bonet wants to merge 1 commit into
RedPitaya:masterfrom
edgar-bonet:font

Conversation

@edgar-bonet

Copy link
Copy Markdown
Contributor

The new_style.css stylesheet sets the default document font with a CSS selector that is overly greedy. As a result, all text is displayed with a proportional font. This is fine for the main body text, but it is not suitable for code blocks, which should use a monospaced font instead.

The proportional-font code blocks look particularly ugly on text output meant to be shaped as tabular data or as ANSI art.

This pull request sets a more standard and less greedy selector for the default font, which doesn't override every other font directive in the stylesheet. As a result, code blocks are properly formatted.

In new_style.css, line 7, the “html *” selector is overly greedy, and
sets a proportional font on every element, overriding the more specific
selector on line 183, which sets a monospaced font on code blocks.

Use the simple “body” selector for setting the default document font,
which allows for properly formatted code blocks.

Fixes: a979f77 ("Added link to roboto")
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.

1 participant