2014-12-21 00:22:49 +00:00
|
|
|
{% extends "!layout.html" %}
|
|
|
|
{% set css_files = css_files + ["_static/customstyle.css"] %}
|
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" %}
|