From: Blair Conrad Date: Wed, 10 Jun 2020 11:31:33 +0000 (-0400) Subject: Add missing background styles X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=20258ac12756716952335efed96f0c656c928be5;p=blog.git Add missing background styles --- diff --git a/css/pygments-console.py b/css/pygments-console.py index 1fd5dbc6..c8de4fc1 100644 --- a/css/pygments-console.py +++ b/css/pygments-console.py @@ -31,30 +31,47 @@ class ConsoleStyle(Style): default_style = '' styles = { - Text: '#fcfcfc', + Text: '#fcfcfc', # Shell session - Generic.Prompt: 'bold #16a085', # same as BrightCyan - Generic.Output: '#fcfcfc', + Generic.Prompt: 'bold #16a085', # same as BrightCyan + Generic.Output: '#fcfcfc', # ANSI highlighting. Same order as in Konsole style dialog, following # the Breeze theme. - Generic.AnsiBlack: '#232627', - Generic.AnsiRed: '#ed1515', - Generic.AnsiGreen: '#11d116', - Generic.AnsiYellow: '#f67400', - Generic.AnsiBlue: '#1d99f3', - Generic.AnsiMagenta: '#9b59b6', - Generic.AnsiCyan: '#1abc9c', - Generic.AnsiWhite: '#fcfcfc', - Generic.AnsiDefault: '#fcfcfc', - Generic.AnsiBrightBlack: 'bold #7f8c8d', - Generic.AnsiBrightRed: 'bold #c0392b', - Generic.AnsiBrightGreen: 'bold #1cdc9a', - Generic.AnsiBrightYellow: 'bold #fdbc4b', - Generic.AnsiBrightBlue: 'bold #3daee9', - Generic.AnsiBrightMagenta: 'bold #8e44ad', - Generic.AnsiBrightCyan: 'bold #16a085', - Generic.AnsiBrightWhite: 'bold #ffffff', - Generic.AnsiBrightDefault: 'bold #ffffff' + Generic.AnsiBlack: '#232627', + Generic.AnsiRed: '#ed1515', + Generic.AnsiGreen: '#11d116', + Generic.AnsiYellow: '#f67400', + Generic.AnsiBlue: '#1d99f3', + Generic.AnsiMagenta: '#9b59b6', + Generic.AnsiCyan: '#1abc9c', + Generic.AnsiWhite: '#fcfcfc', + Generic.AnsiDefault: '#fcfcfc', + Generic.AnsiBrightBlack: 'bold #7f8c8d', + Generic.AnsiBrightRed: 'bold #c0392b', + Generic.AnsiBrightGreen: 'bold #1cdc9a', + Generic.AnsiBrightYellow: 'bold #fdbc4b', + Generic.AnsiBrightBlue: 'bold #3daee9', + Generic.AnsiBrightMagenta: 'bold #8e44ad', + Generic.AnsiBrightCyan: 'bold #16a085', + Generic.AnsiBrightWhite: 'bold #ffffff', + Generic.AnsiBrightDefault: 'bold #ffffff', + Generic.AnsiBackgroundBlack: 'bg:#232627', + Generic.AnsiBackgroundRed: 'bg:#ed1515', + Generic.AnsiBackgroundGreen: 'bg:#11d116', + Generic.AnsiBackgroundYellow: 'bg:#f67400', + Generic.AnsiBackgroundBlue: 'bg:#1d99f3', + Generic.AnsiBackgroundMagenta: 'bg:#9b59b6', + Generic.AnsiBackgroundCyan: 'bg:#1abc9c', + Generic.AnsiBackgroundWhite: 'bg:#fcfcfc', + Generic.AnsiBackgroundDefault: 'bg:#fcfcfc', + Generic.AnsiBackgroundBrightBlack: 'bg:#7f8c8d', + Generic.AnsiBackgroundBrightRed: 'bg:#c0392b', + Generic.AnsiBackgroundBrightGreen: 'bg:#1cdc9a', + Generic.AnsiBackgroundBrightYellow: 'bg:#fdbc4b', + Generic.AnsiBackgroundBrightBlue: 'bg:#3daee9', + Generic.AnsiBackgroundBrightMagenta: 'bg:#8e44ad', + Generic.AnsiBackgroundBrightCyan: 'bg:#16a085', + Generic.AnsiBackgroundBrightWhite: 'bg:#ffffff', }