""" pygments.styles.solarized ~~~~~~~~~~~~~~~~~~~~~~~~~ Solarized by Camil Staps A Pygments style for the Solarized themes (licensed under MIT). See: https://github.com/altercation/solarized :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ from pygments.style import Style from pygments.token import Comment, Error, Generic, Keyword, Name, Number, \ Operator, String, Token def make_style(colors): return { Token: colors['base0'], Comment: 'italic ' + colors['base01'], Comment.Hashbang: colors['base01'], Comment.Multiline: colors['base01'], Comment.Preproc: 'noitalic ' + colors['magenta'], Comment.PreprocFile: 'noitalic ' + colors['base01'], Keyword: colors['green'], Keyword.Constant: colors['cyan'], Keyword.Declaration: colors['cyan'], Keyword.Namespace: colors['orange'], Keyword.Type: colors['yellow'], Operator: colors['base01'], Operator.Word: colors['green'], Name.Builtin: colors['blue'], Name.Builtin.Pseudo: colors['blue'], Name.Class: colors['blue'], Name.Constant: colors['blue'], Name.Decorator: colors['blue'], Name.Entity: colors['blue'], Name.Exception: colors['blue'], Name.Function: colors['blue'], Name.Function.Magic: colors['blue'], Name.Label: colors['blue'], Name.Namespace: colors['blue'], Name.Tag: colors['blue'], Name.Variable: colors['blue'], Name.Variable.Global:colors['blue'], Name.Variable.Magic: colors['blue'], String: colors['cyan'], String.Doc: colors['base01'], String.Regex: colors['orange'], Number: colors['cyan'], Generic: colors['base0'], Generic.Deleted: colors['red'], Generic.Emph: 'italic', Generic.Error: colors['red'], Generic.Heading: 'bold', Generic.Subheading: 'underline', Generic.Inserted: colors['green'], Generic.Output: colors['base0'], Generic.Prompt: 'bold ' + colors['blue'], Generic.Strong: 'bold', Generic.Traceback: colors['blue'], Error: 'bg:' + colors['red'], } DARK_COLORS = { 'base03': '#002b36', 'base02': '#073642', 'base01': '#586e75', 'base00': '#657b83', 'base0': '#839496', 'base1': '#93a1a1', 'base2': '#eee8d5', 'base3': '#fdf6e3', 'yellow': '#b58900', 'orange': '#cb4b16', 'red': '#dc322f', 'magenta': '#d33682', 'violet': '#6c71c4', 'blue': '#268bd2', 'cyan': '#2aa198', 'green': '#859900', } LIGHT_COLORS = { 'base3': '#002b36', 'base2': '#073642', 'base1': '#586e75', 'base0': '#657b83', 'base00': '#839496', 'base01': '#93a1a1', 'base02': '#eee8d5', 'base03': '#fdf6e3', 'yellow': '#b58900', 'orange': '#cb4b16', 'red': '#dc322f', 'magenta': '#d33682', 'violet': '#6c71c4', 'blue': '#268bd2', 'cyan': '#2aa198', 'green': '#859900', } class SolarizedDarkStyle(Style): """ The solarized style, dark. """ styles = make_style(DARK_COLORS) background_color = DARK_COLORS['base03'] highlight_color = DARK_COLORS['base02'] line_number_color = DARK_COLORS['base01'] line_number_background_color = DARK_COLORS['base02'] class SolarizedLightStyle(SolarizedDarkStyle): """ The solarized style, light. """ styles = make_style(LIGHT_COLORS) background_color = LIGHT_COLORS['base03'] highlight_color = LIGHT_COLORS['base02'] line_number_color = LIGHT_COLORS['base01'] line_number_background_color = LIGHT_COLORS['base02']