docs/templates/layout.html

{% extends "!layout.html" %}
{% set css_files = css_files + ["_static/customstyle.css"] %}

{# we change the master_doc variable so that links to the index
   page are to index.html instead of <port>_index.html #}
{% set master_doc = "index" %}
docs: Add custom CSS file, with code for admonition. 2014-12-21 00:22:49 +00:00			`{% extends "!layout.html" %}`
			`{% set css_files = css_files + ["_static/customstyle.css"] %}`
docs: Make index link point to "index.html" irrespective of port. 2015-06-27 13:41:24 +01:00
			`{# we change the master_doc variable so that links to the index`
			`page are to index.html instead of <port>_index.html #}`
			`{% set master_doc = "index" %}`