Skip to content

fix: prevent overlap in html page breaks#11172

Merged
jennifer-richards merged 1 commit into
ietf-tools:mainfrom
jennifer-richards:restyle-newpage
Jul 8, 2026
Merged

fix: prevent overlap in html page breaks#11172
jennifer-richards merged 1 commit into
ietf-tools:mainfrom
jennifer-richards:restyle-newpage

Conversation

@jennifer-richards

Copy link
Copy Markdown
Member

Fixes #11118

@jennifer-richards

Copy link
Copy Markdown
Member Author

Changes the <hr> at page breaks to render like this instead of with the overlap shown in #11118
image

@codecov

codecov Bot commented Jul 8, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 88.58%. Comparing base (8dbc1bc) to head (8a6588f).
⚠️ Report is 20 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main   #11172      +/-   ##
==========================================
+ Coverage   88.52%   88.58%   +0.06%     
==========================================
  Files         334      333       -1     
  Lines       45102    44669     -433     
==========================================
- Hits        39927    39572     -355     
+ Misses       5175     5097      -78     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.
@jennifer-richards

Copy link
Copy Markdown
Member Author

For the record: the screenshot above looks ~ the same on Firefox, Chrome, and Safari in a quick check.

@jennifer-richards
jennifer-richards merged commit 6e3549a into ietf-tools:main Jul 8, 2026
13 of 14 checks passed
@jsoref

jsoref commented Jul 8, 2026

Copy link
Copy Markdown

This is what I see today in Chrome:
image

Am I doing something wrong?

@jennifer-richards

Copy link
Copy Markdown
Member Author

Am I doing something wrong?

No, but you tested before the fix was released. The GH issue closes when the fix is merged to main, but it's usually a few days before it goes live. It was released yesterday afternoon North American time, so you should see something different now.

@jennifer-richards
jennifer-richards deleted the restyle-newpage branch July 10, 2026 13:37
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jul 14, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

3 participants