diff -r 000000000000 -r b97547f5f1fa doc/.templates/layout.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/.templates/layout.html Wed Nov 05 15:52:50 2008 +0100 @@ -0,0 +1,195 @@ +{%- block doctype -%} + +{%- endblock %} +{%- set reldelim1 = reldelim1 is not defined and ' »' or reldelim1 %} +{%- set reldelim2 = reldelim2 is not defined and ' |' or reldelim2 %} +{%- macro relbar %} +
+{%- endmacro %} +{%- macro sidebar %} + {%- if builder != 'htmlhelp' %} + + {%- endif %} +{%- endmacro -%} + + + + + {%- if builder != 'htmlhelp' %} + {%- set titlesuffix = " — " + docstitle %} + {%- endif %} +