# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1437929570 25200
# Node ID 66f8bbe8de91edd46e52ad7db18b5683c9853d9d
# Parent  0f777870fbaf31491d8640982948b08ec3aa5cf0
docs: Always use Pygments styles. Use the new CSS generation processor.

diff -r 0f777870fbaf -r 66f8bbe8de91 docs/assets/css/pygments.pygstyle
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/assets/css/pygments.pygstyle	Sun Jul 26 09:52:50 2015 -0700
@@ -0,0 +1,2 @@
+style: colorful
+
diff -r 0f777870fbaf -r 66f8bbe8de91 docs/templates/section-page.html
--- a/docs/templates/section-page.html	Sun Jul 26 09:47:33 2015 -0700
+++ b/docs/templates/section-page.html	Sun Jul 26 09:52:50 2015 -0700
@@ -1,13 +1,5 @@
 {% extends "default.html" %}
 
-{% block head %}
-{% if page.needs_pygments %}
-    <style type="text/css">
-    {{highlight_css()}}
-    </style>
-{% endif %}
-{% endblock %}
-
 {% block content %}
 <div class="container">
     <section class="col-md-8">
@@ -19,4 +11,3 @@
 </div>
 {% endblock %}
 
-