Skip to content

Conversation

@mflatt
Copy link
Member

@mflatt mflatt commented Jan 4, 2026

The initial-scale change move the specialization to 0.8 from the HTML renderer to manual-doc-style. This means that a scribble/base document will by default get a scale of 1.0, like it did before 2016, instead of 0.8.

The margin-note change affects only the base CSS, and not manual style, which already does something similar. The implementation here is from @shriram. The change only moves right-margin notes and leaves left-margin notes alone, since there's always a left margin in the base Scribble style.

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

Resyntax analyzed 3 files in this pull request and found no issues.

The `initial-scale` change move the specialization to 0.8 from the
HTML renderer to `manual-doc-style`. This means that a `scribble/base`
document will by default get a scale of 1.0, like it did before 2016,
instead of 0.8.

The margin-note change affects only the base CSS, and not manual
style, which already does something similar. The implementation here
is from @shriram. The change only moves right-margin notes and leaves
left-margin notes alone, since there's always a left margin in the
base Scribble style.
Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

Resyntax analyzed 3 files in this pull request and found no issues.

@mflatt mflatt merged commit 9dcf2a9 into racket:master Jan 9, 2026
2 checks passed
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