2014-12-20 19:22:49 -05:00
|
|
|
{% extends "!layout.html" %}
|
|
|
|
{% set css_files = css_files + ["_static/customstyle.css"] %}
|
2015-06-27 08:41:24 -04: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" %}
|