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.

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

👌 IMPROVE: Update ANSI CSS colors #384

Merged
merged 6 commits into from
Apr 27, 2022
Merged

👌 IMPROVE: Update ANSI CSS colors #384

Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
3b26d80
Update ANSI CSS colors
saulshanabrook Jan 20, 2022
56b45c7
Update comment
saulshanabrook Jan 20, 2022
5c2bada
Merge branch 'master' into patch-1
chrisjsewell Jan 20, 2022
6e744ac
Update background colors to match nbsphinx
saulshanabrook Jan 20, 2022
7845b7a
Merge remote-tracking branch 'upstream/master' into patch-1
saulshanabrook Apr 21, 2022
587343d
Merge branch 'master' into patch-1
chrisjsewell Apr 27, 2022
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
9 changes: 6 additions & 3 deletions myst_nb/static/mystnb.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,10 @@ tbody span.pasted-inline img {
}

/* Font colors for translated ANSI escape sequences
Color values are adapted from share/jupyter/nbconvert/templates/classic/static/style.css
Color values are copied from Jupyter Notebook
https://github.com/jupyter/notebook/blob/52581f8eda9b319eb0390ac77fe5903c38f81e3e/notebook/static/notebook/less/ansicolors.less#L14-L21
Background colors from
https://nbsphinx.readthedocs.io/en/latest/code-cells.html#ANSI-Colors
*/
div.highlight .-Color-Bold {
font-weight: bold;
Expand All @@ -132,7 +135,7 @@ div.highlight .-Color[class*=-Green] {
color: #00A250
}
div.highlight .-Color[class*=-Yellow] {
color: yellow
color: #DDB62B
}
div.highlight .-Color[class*=-Blue] {
color: #208FFB
Expand All @@ -156,7 +159,7 @@ div.highlight .-Color[class*=-BGGreen] {
background-color: #00A250
}
div.highlight .-Color[class*=-BGYellow] {
background-color: yellow
background-color: #DDB62B
}
div.highlight .-Color[class*=-BGBlue] {
background-color: #208FFB
Expand Down