changeset 510:66f8bbe8de91

docs: Always use Pygments styles. Use the new CSS generation processor.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 26 Jul 2015 09:52:50 -0700
parents 0f777870fbaf
children 1c452b7ab8b1
files docs/assets/css/pygments.pygstyle docs/templates/section-page.html
diffstat 2 files changed, 2 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- /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
+
--- 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 %}
 
-