# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1553535611 -3600
# Node ID f8427bf8c07294d53de31b8f03f7286b877ef749
# Parent  84f82d014d066abf619c0acbbe7e2f0e30d05a6d
tools (common/template): always use highlight.css if present.

diff -r 84f82d014d06 -r f8427bf8c072 sat/tools/common/template.py
--- a/sat/tools/common/template.py	Mon Mar 25 18:40:10 2019 +0100
+++ b/sat/tools/common/template.py	Mon Mar 25 18:40:11 2019 +0100
@@ -560,7 +560,8 @@
         For each element of the path, a .css file is looked for in /static, and returned
         if it exists.
         Previous element are kept by replacing '/' with '_'.
-        styles_extra.css, styles.css and fonts.css are always used if they exist.
+        styles_extra.css, styles.css, highlight.css and fonts.css are always used if they
+            exist.
         For each found file, if a file with the same name and "_noscript" suffix exists,
         it will be return is second part of resulting tuple.
         For instance, if template_data is (some_site, some_theme, blog/articles.html),
@@ -589,7 +590,7 @@
         if css_path is not None:
             css_files.append(self.getFrontURL(css_path))
 
-        for name_root in (u'styles', u'styles_extra'):
+        for name_root in (u'styles', u'styles_extra', u'highlight'):
             self._appendCSSPaths(template_data, css_files, css_files_noscript, name_root)
 
         for idx in xrange(len(path_elems)):