diff docs/templates/doc.html @ 294:f51b69ad09ae

docs: Add the ability to use Pygments highlighting.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 08 Mar 2015 22:58:58 -0700
parents a5d21fac8e3f
children 8140ff806258
line wrap: on
line diff
--- a/docs/templates/doc.html	Sun Mar 08 22:58:28 2015 -0700
+++ b/docs/templates/doc.html	Sun Mar 08 22:58:58 2015 -0700
@@ -1,5 +1,13 @@
 {% extends "default.html" %}
 
+{% block head %}
+{% if page.needs_pygments %}
+    <style type="text/css">
+    {{highlight_css()}}
+    </style>
+{% endif %}
+{% endblock %}
+
 {% block header %}
 <header class="documentation">
     <h1>{{ page.title }}</h1>