diff options
| author | Jim Fehrle | 2021-02-14 22:01:47 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2021-02-14 22:11:15 -0800 |
| commit | 8220bb14e01b03ed727e8bb8c4f9ab70af3fd9f5 (patch) | |
| tree | b8f365b68d41278289fb5845fa813c82297f7bf4 /doc | |
| parent | c0e0e637c61e075f43b73d1ddd8eaa9d79b27561 (diff) | |
Show "Error:"/"Warning:" with white type (on red/orange background)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/_static/ansi.css | 2 | ||||
| -rw-r--r-- | doc/tools/coqrst/repl/ansicolors.py | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/doc/sphinx/_static/ansi.css b/doc/sphinx/_static/ansi.css index 2a618f68d2..a4850a738b 100644 --- a/doc/sphinx/_static/ansi.css +++ b/doc/sphinx/_static/ansi.css @@ -69,7 +69,7 @@ } .ansi-fg-white { - color: #2e3436; + color: #ffffff; } .ansi-fg-light-black { diff --git a/doc/tools/coqrst/repl/ansicolors.py b/doc/tools/coqrst/repl/ansicolors.py index 9e23be2409..6700c20b1a 100644 --- a/doc/tools/coqrst/repl/ansicolors.py +++ b/doc/tools/coqrst/repl/ansicolors.py @@ -91,7 +91,10 @@ def parse_ansi(code): leading ‘^[[’ or the final ‘m’ """ classes = [] - parse_style([int(c) for c in code.split(';')], 0, classes) + if code == "37": + pass # ignore white fg + else: + parse_style([int(c) for c in code.split(';')], 0, classes) return ["ansi-" + cls for cls in classes] if __name__ == '__main__': |