css: implement diff colors for the Pygments dark style.

diff --git a/css/m-dark+doxygen.compiled.css b/css/m-dark+doxygen.compiled.css
index ba1bb2a11d7b5be4f7e9f3e6d1af2d172e68d8e9..cc44c6411ae69757dc263b2d90ac4a5d328b47f3 100644 (file)
--- a/css/m-dark+doxygen.compiled.css
+++ b/css/m-dark+doxygen.compiled.css
@@ -2108,8 +2108,10 @@ article:last-child, article section:last-child { margin-bottom: 0; }
 .m-code .cpf { color: #c7cf2f }
 .m-code .c1 { color: #a5c9ea }
 .m-code .cs { color: #a5c9ea }
+.m-code .gd { color: #cd3431 }
 .m-code .ge { color: #e6e6e6; font-style: italic }
 .m-code .gh { color: #ffffff; font-weight: bold }
+.m-code .gi { color: #3bd267 }
 .m-code .gs { color: #e6e6e6; font-weight: bold }
 .m-code .kc { color: #ffffff; font-weight: bold }
 .m-code .kd { color: #ffffff; font-weight: bold }

diff --git a/css/m-dark.compiled.css b/css/m-dark.compiled.css
index 27d5e75500714fcfc658d644c2d63164433bf916..d12ca69a5dbf82b8648d034188904036fc822d51 100644 (file)
--- a/css/m-dark.compiled.css
+++ b/css/m-dark.compiled.css
@@ -2108,8 +2108,10 @@ article:last-child, article section:last-child { margin-bottom: 0; }
 .m-code .cpf { color: #c7cf2f }
 .m-code .c1 { color: #a5c9ea }
 .m-code .cs { color: #a5c9ea }
+.m-code .gd { color: #cd3431 }
 .m-code .ge { color: #e6e6e6; font-style: italic }
 .m-code .gh { color: #ffffff; font-weight: bold }
+.m-code .gi { color: #3bd267 }
 .m-code .gs { color: #e6e6e6; font-weight: bold }
 .m-code .kc { color: #ffffff; font-weight: bold }
 .m-code .kd { color: #ffffff; font-weight: bold }

diff --git a/css/pygments-dark.css b/css/pygments-dark.css
index 16d1510f959fca602ef836afabeec6b559ff3864..7e0315bdc039ade424b894fcd687f6a9e22ec439 100644 (file)
--- a/css/pygments-dark.css
+++ b/css/pygments-dark.css
@@ -10,8 +10,10 @@
 .m-code .cpf { color: #c7cf2f } /* Comment.PreprocFile */
 .m-code .c1 { color: #a5c9ea } /* Comment.Single */
 .m-code .cs { color: #a5c9ea } /* Comment.Special */
+.m-code .gd { color: #cd3431 } /* Generic.Deleted */
 .m-code .ge { color: #e6e6e6; font-style: italic } /* Generic.Emph */
 .m-code .gh { color: #ffffff; font-weight: bold } /* Generic.Heading */
+.m-code .gi { color: #3bd267 } /* Generic.Inserted */
 .m-code .gs { color: #e6e6e6; font-weight: bold } /* Generic.Strong */
 .m-code .kc { color: #ffffff; font-weight: bold } /* Keyword.Constant */
 .m-code .kd { color: #ffffff; font-weight: bold } /* Keyword.Declaration */

diff --git a/css/pygments-dark.py b/css/pygments-dark.py
index ab751a2cd77b3e7560306e8c54e63631ea7dbf8b..10e021fd2e92227074eb0e9a100d5c34244cc114 100644 (file)
--- a/css/pygments-dark.py
+++ b/css/pygments-dark.py
@@ -28,7 +28,6 @@ from pygments.token import Keyword, Name, Comment, String, Error, \
     Whitespace
 
 class DarkStyle(Style):
-
     background_color = None
     highlight_color = '#34424d'
     default_style = ""
@@ -57,5 +56,9 @@ class DarkStyle(Style):
         Operator.Word:          'bold #dcdcdc',
         Generic.Heading:        'bold #ffffff',
         Generic.Emph:           'italic #e6e6e6',
-        Generic.Strong:         'bold #e6e6e6'
+        Generic.Strong:         'bold #e6e6e6',
+
+        # Diffs
+        Generic.Inserted:       '#3bd267',
+        Generic.Deleted:        '#cd3431'
     }