# HG changeset patch
# User domruf <dominikruf@gmail.com>
# Date 1508874067 -7200
# Node ID f5f796c77337cb6b97415112361a8a7bcc32a1c6
# Parent  476daae2a94cab7aba0f23ab16456208a7d16cea
less: include pygments.css in main.less

For now, keep the old css location even though it now is a source file and
shouldn't be in public.

diff -r 476daae2a94c -r f5f796c77337 kallithea/public/less/main.less
--- a/kallithea/public/less/main.less	Sun Apr 15 22:41:02 2018 +0200
+++ b/kallithea/public/less/main.less	Tue Oct 24 21:41:07 2017 +0200
@@ -13,6 +13,7 @@
 @import (inline) "3rd-party/dataTables.bootstrap.css";
 @import (less) "../js/select2/select2.css";
 @import (less) "../js/select2/select2-bootstrap.css";
+@import (less) "../css/pygments.css";
 @import (less) "../fontello/css/kallithea.css";
 
 /* kallithea styles */
diff -r 476daae2a94c -r f5f796c77337 kallithea/templates/base/root.html
--- a/kallithea/templates/base/root.html	Sun Apr 15 22:41:02 2018 +0200
+++ b/kallithea/templates/base/root.html	Tue Oct 24 21:41:07 2017 +0200
@@ -17,7 +17,6 @@
         <meta name="theme-color" content="#ffffff">
 
         ## CSS ###
-        <link rel="stylesheet" type="text/css" href="${h.url('/css/pygments.css', ver=c.kallithea_version)}"/>
         <link rel="stylesheet" type="text/css" href="${h.url('/css/style.css', ver=c.kallithea_version)}" media="screen"/>
         <%block name="css_extra"/>