From b3bc0645ad730fa0f5c3814c5223c6dccc53ac28 Mon Sep 17 00:00:00 2001
From: Elisabeth Dickinson <edi@odoo.com>
Date: Thu, 4 Mar 2021 16:46:25 +0100
Subject: [PATCH] [DESIGN] adapt pygments

---
 extensions/odoo_theme/pygments_override.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/extensions/odoo_theme/pygments_override.py b/extensions/odoo_theme/pygments_override.py
index 1cec09da8..805244ce6 100644
--- a/extensions/odoo_theme/pygments_override.py
+++ b/extensions/odoo_theme/pygments_override.py
@@ -15,12 +15,13 @@ class OdooStyle(Style):
     default_style = ''
 
     background_color = '#F8F8F8'
+    highlight_color = '#EAEAEA'
 
     styles = {
         Whitespace: '#bbbbbb',
         Comment: 'italic #008800',
         String: '#800080',
-        Number: 'bold #2e8b57',
+        Number: 'bold',
         Other: 'bg:#ffffe0',
         Keyword: '#2c2cff',
         Keyword.Reserved: 'bold #353580',
@@ -36,7 +37,7 @@ class OdooStyle(Style):
         Generic: '#2c2cff',
         Generic.Emph: '#008800',
         Generic.Error: '#d30202',
-        Error: 'bg:#e3d2d2 #a61717'
+        Error: 'bg:#ffe2e2 #a61717'
     }
 
 import types