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

fix: Add theme switcher to document view #6202

Merged
merged 3 commits into from
Aug 24, 2023
Merged

Conversation

larseggert
Copy link
Collaborator

And reduce duplication in the page structure while I'm here.

Fixes #6200

And reduce duplication in the page structure while I'm here.

Fixes ietf-tools#6200
@codecov
Copy link

codecov bot commented Aug 24, 2023

Codecov Report

Merging #6202 (c8bd715) into main (aa955f0) will decrease coverage by 0.01%.
Report is 4 commits behind head on main.
The diff coverage is n/a.

❗ Current head c8bd715 differs from pull request most recent head d005ab3. Consider uploading reports for the commit d005ab3 to get more accurate results

@@            Coverage Diff             @@
##             main    #6202      +/-   ##
==========================================
- Coverage   88.68%   88.68%   -0.01%     
==========================================
  Files         290      290              
  Lines       40300    40300              
==========================================
- Hits        35742    35741       -1     
- Misses       4558     4559       +1     

see 3 files with indirect coverage changes

@rjsparks rjsparks requested a review from NGPixel August 24, 2023 13:00
@rjsparks rjsparks merged commit 16c250f into ietf-tools:main Aug 24, 2023
6 checks passed
@larseggert larseggert deleted the fix-6200 branch August 25, 2023 05:49
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 29, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Cannot switch off dark mode
3 participants