# HG changeset patch # User Ludovic Chabant # Date 1425880738 25200 # Node ID f51b69ad09ae7b49ae25d3800f5e761cd4389fb4 # Parent d013cc191922af1601401c5f0f1d55fa443bf6eb docs: Add the ability to use Pygments highlighting. diff -r d013cc191922 -r f51b69ad09ae docs/templates/default.html --- a/docs/templates/default.html Sun Mar 08 22:58:28 2015 -0700 +++ b/docs/templates/default.html Sun Mar 08 22:58:58 2015 -0700 @@ -14,6 +14,7 @@ + {% block head %}{% endblock %}

diff -r d013cc191922 -r f51b69ad09ae docs/templates/doc.html --- 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 %} + +{% endif %} +{% endblock %} + {% block header %}