Files
odoo_source/doc/_extensions/odoo/pygments_override.py
T
Xavier Morel 95e56a109d [ADD] doc: new theme
Pretty much completely rewritten theme with custom HTML translator and a
few parts of the old theme extracted to their own extensions.

Banner images thought not to be that huge after all, and not worth the
hassle of them living in a different repository.

co-authored with @stefanorigano
2015-07-07 11:22:50 +02:00

21 lines
533 B
Python

# -*- 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