Skip to content

Add support for themes + GitHub dark dimmed theme #1416

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

Open
wants to merge 17 commits into
base: master
Choose a base branch
from
Open

Add support for themes + GitHub dark dimmed theme #1416

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
a1e431f
added dark.css
LordBaryhobal Jul 1, 2022
0c0508c
added default dark theme config value
LordBaryhobal Jul 1, 2022
edb6f78
added dark_theme config
LordBaryhobal Jul 1, 2022
895db24
added dark theme stylesheet link
LordBaryhobal Jul 1, 2022
e9bb544
added dark_theme to CONFIG_FILE_OPTIONS
LordBaryhobal Jul 1, 2022
79c0d69
fixed missing type for dark_theme option
LordBaryhobal Jul 1, 2022
fab2e9e
added css for body.indexfile header .content .text
LordBaryhobal Jul 1, 2022
a74825f
added dark theme stylesheet link to pyfile.html
LordBaryhobal Jul 1, 2022
2757853
removed trailing whitespaces
LordBaryhobal Jul 1, 2022
b22ceae
added css for contexts list
LordBaryhobal Jul 1, 2022
df8cbfd
changed color of header p.text
LordBaryhobal Jul 1, 2022
793d348
switched to .scss and implemented theme choice
LordBaryhobal Jul 2, 2022
d83184b
fixed typo in comment of github_dark_dimmed.scss
LordBaryhobal Jul 2, 2022
14b6752
fixed line too long...
LordBaryhobal Jul 2, 2022
f785b76
changed setup.py and igor.py to include (s)css themes
LordBaryhobal Jul 2, 2022
e01f75d
fixed help_panel_wrapper
LordBaryhobal Jul 2, 2022
d098e4d
Merge branch 'master' into LordBaryhobal-dark-theme
LordBaryhobal Oct 3, 2023
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
Prev Previous commit
Next Next commit
fixed help_panel_wrapper
  • Loading branch information
@LordBaryhobal
LordBaryhobal committed Jul 2, 2022
commit e01f75d85b4b3dc0cff0f6eae83879464746c9bf
3 changes: 2 additions & 1 deletion coverage/htmlfiles/themes/github_dark_dimmed.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,8 @@ header button.par.show_par { background-color: #eac55f; border-color: rgba(205,

#help_panel { background-color: #2d333b; border-radius: 6px; border-color: #444c56; color: #adbac7; padding: 8px 16px; }

#help_panel_wrapper { float: initial; order: 1; }
body.indexfile #help_panel_wrapper { float: initial; order: 1; }

#help_panel_wrapper label { cursor: pointer; }

#help_panel .legend { font-size: 12px; font-weight: 600; }
Expand Down
4 changes: 3 additions & 1 deletion coverage/htmlfiles/themes/github_dark_dimmed.scss
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -255,10 +255,12 @@ header button {
}

// Help panel
#help_panel_wrapper {
body.indexfile #help_panel_wrapper {
float: initial;
order: 1;
}

#help_panel_wrapper {
label {
cursor: pointer;
}
Expand Down