Skip to content

Increase font size in code blocks (issue 59) #273

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

Merged
merged 2 commits into from
Feb 15, 2024

Conversation

stevenbitner
Copy link

See #59

@@ -10,6 +10,7 @@ div.highlighter-rouge, figure.highlight {
border-radius: $border-radius;
background-color: $code-background-color;
box-shadow: $box-shadow;
font-size: $type-size-4

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this line have ; at the end?

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, it should. It is the last option, so it works for now, but clearly just me being an idiot.

@rjzupkoii rjzupkoii self-assigned this Feb 14, 2024
@rjzupkoii rjzupkoii added the enhancement An enhancement. label Feb 14, 2024
@rjzupkoii rjzupkoii added this to the 2024 Refresh milestone Feb 14, 2024
@rjzupkoii rjzupkoii merged commit 52f0dcc into academicpages:master Feb 15, 2024
schanghydro pushed a commit to schanghydro/schanghydro.github.io that referenced this pull request Jan 2, 2025
Increase font size in code blocks (issue 59)
cjd04 pushed a commit to cjd04/cjd04.github.io that referenced this pull request Feb 23, 2025
Increase font size in code blocks (issue 59)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement An enhancement.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants