Skip to content

Fix dark mode header readability #7

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.

Sign up for GitHub

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
jorgeMFS merged 10 commits into from
Dec 3, 2025
Merged

Fix dark mode header readability #7

Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
3629e51
Fix validator output and add mmap-based file validation
jorgeMFS Dec 2, 2025
77515fc
Expand test coverage for validator and fix Python bindings tests
jorgeMFS Dec 2, 2025
599add3
Update documentation for validator changes and tool overview
jorgeMFS Dec 2, 2025
34cc5f9
Improve benchmark infrastructure and fix harness issues
jorgeMFS Dec 2, 2025
8a8eeb1
Update gitignore and add benchmark requirements
jorgeMFS Dec 2, 2025
380def7
Optimize VCF processing tools for large file performance
jorgeMFS Dec 3, 2025
58464a0
Fix flake8 linting errors in mk_tasks.py
jorgeMFS Dec 3, 2025
bb245ee
Optimize VCFX tools identified in benchmark analysis
jorgeMFS Dec 3, 2025
e0c60ef
Fix dark mode header readability
jorgeMFS Dec 3, 2025
dd163d7
Merge branch 'ieeta-pt:main' into main
jorgeMFS Dec 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 17 additions & 2 deletions docs/styles/custom.css
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,21 @@
[data-md-color-scheme="slate"] {
--md-primary-fg-color: #90caf9;
--md-accent-fg-color: #90caf9;
--md-primary-fg-color: #1a237e;
--md-primary-fg-color--light: #3949ab;
--md-primary-fg-color--dark: #0d1442;
--md-primary-bg-color: #ffffff;
--md-primary-bg-color--light: #ffffffb3;
--md-accent-fg-color: #82b1ff;
--md-default-fg-color: #e0e0e0;
--md-default-bg-color: #121212;
}

/* Header text in dark mode */
[data-md-color-scheme="slate"] .md-header {
background-color: #1a237e;
}

[data-md-color-scheme="slate"] .md-header__title,
[data-md-color-scheme="slate"] .md-header__button,
[data-md-color-scheme="slate"] .md-header nav {
color: #ffffff;
}
Loading