Skip to content

Fix weirdness in dark-mode#976

Merged
james-d-mitchell merged 1 commit into
libsemigroups:mainfrom
Joseph-Edwards:fix-doxygen-dark-mode
May 8, 2026
Merged

Fix weirdness in dark-mode#976
james-d-mitchell merged 1 commit into
libsemigroups:mainfrom
Joseph-Edwards:fix-doxygen-dark-mode

Conversation

@Joseph-Edwards
Copy link
Copy Markdown
Collaborator

This PR fixes the strange behaviour we were seeing in dark mode.

@Joseph-Edwards
Copy link
Copy Markdown
Collaborator Author

@james-d-mitchell, please could you check this has fixed the issue you were facing. It seems to work on my machine

@james-d-mitchell
Copy link
Copy Markdown
Member

It does fix it, super thanks @Joseph-Edwards

@james-d-mitchell james-d-mitchell added backport-to-stable Label for PRs merged into main that contain changes that should be included in stable-X.Y IIF labels May 8, 2026
@codecov
Copy link
Copy Markdown

codecov Bot commented May 8, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.30%. Comparing base (f36c5e0) to head (8cfa6ec).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #976   +/-   ##
=======================================
  Coverage   90.30%   90.30%           
=======================================
  Files         180      180           
  Lines       22210    22210           
  Branches     2687     2687           
=======================================
+ Hits        20056    20057    +1     
+ Misses       2154     2153    -1     

see 1 file with indirect coverage changes

@Joseph-Edwards Joseph-Edwards force-pushed the fix-doxygen-dark-mode branch from bbc8835 to 8cfa6ec Compare May 8, 2026 12:49
@Joseph-Edwards Joseph-Edwards enabled auto-merge (squash) May 8, 2026 12:49
@Joseph-Edwards Joseph-Edwards disabled auto-merge May 8, 2026 12:50
@james-d-mitchell james-d-mitchell merged commit 4bd08eb into libsemigroups:main May 8, 2026
71 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport-to-stable Label for PRs merged into main that contain changes that should be included in stable-X.Y IIF

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants