diff options
Diffstat (limited to 'doc/_extensions/odoo/pygments_override.py')
| -rw-r--r-- | doc/_extensions/odoo/pygments_override.py | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/_extensions/odoo/pygments_override.py b/doc/_extensions/odoo/pygments_override.py new file mode 100644 index 00000000000..58458f417e1 --- /dev/null +++ b/doc/_extensions/odoo/pygments_override.py @@ -0,0 +1,20 @@ +# -*- coding: utf-8 -*- +from pygments.style import Style +from pygments.styles.paraiso_dark import ParaisoDarkStyle +from pygments.token import * + +# extracted from getbootstrap.com +class OdooStyle(Style): + background_color = '#272727' + highlight_color = ParaisoDarkStyle.highlight_color + + styles = dict(ParaisoDarkStyle.styles) + styles[Keyword] = '#cb49a8' + styles[Name.Tag] = '#21b799' + +import imp +import sys +modname = 'pygments.styles.odoo' +m = imp.new_module(modname) +m.OdooStyle = OdooStyle +sys.modules[modname] = m |