209 lines
7.4 KiB
HTML
209 lines
7.4 KiB
HTML
{# TEMPLATE VAR SETTINGS #}
|
|
{%- set url_root = pathto('', 1) %}
|
|
{%- if url_root == '#' %}{% set url_root = '' %}{% endif %}
|
|
{%- if not embedded and docstitle %}
|
|
{%- set titlesuffix = " — "|safe + docstitle|e %}
|
|
{%- else %}
|
|
{%- set titlesuffix = "" %}
|
|
{%- endif %}
|
|
|
|
<!DOCTYPE html>
|
|
<!--[if IE 8]><html class="no-js lt-ie9" lang="en" > <![endif]-->
|
|
<!--[if gt IE 8]><!--> <html class="no-js" lang="en" > <!--<![endif]-->
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
{% block htmltitle %}
|
|
<title>{{ title|striptags|e }}{{ titlesuffix }}</title>
|
|
{% endblock %}
|
|
|
|
{# FAVICON #}
|
|
{% if favicon %}
|
|
<link rel="shortcut icon" href="{{ pathto('_static/' + favicon, 1) }}"/>
|
|
{% endif %}
|
|
|
|
{# CSS #}
|
|
<link href='https://fonts.googleapis.com/css?family=Lato:400,700|Roboto+Slab:400,700|Inconsolata:400,700' rel='stylesheet' type='text/css'>
|
|
|
|
{# OPENSEARCH #}
|
|
{% if not embedded %}
|
|
{% if use_opensearch %}
|
|
<link rel="search" type="application/opensearchdescription+xml" title="{% trans docstitle=docstitle|e %}Search within {{ docstitle }}{% endtrans %}" href="{{ pathto('_static/opensearch.xml', 1) }}"/>
|
|
{% endif %}
|
|
|
|
{% endif %}
|
|
|
|
{# RTD hosts this file, so just load on non RTD builds #}
|
|
{% if not READTHEDOCS %}
|
|
<link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" />
|
|
{% endif %}
|
|
|
|
{% for cssfile in css_files %}
|
|
<link rel="stylesheet" href="{{ pathto(cssfile, 1) }}" type="text/css" />
|
|
{% endfor %}
|
|
|
|
{%- block linktags %}
|
|
{%- if hasdoc('about') %}
|
|
<link rel="author" title="{{ _('About these documents') }}"
|
|
href="{{ pathto('about') }}"/>
|
|
{%- endif %}
|
|
{%- if hasdoc('genindex') %}
|
|
<link rel="index" title="{{ _('Index') }}"
|
|
href="{{ pathto('genindex') }}"/>
|
|
{%- endif %}
|
|
{%- if hasdoc('search') %}
|
|
<link rel="search" title="{{ _('Search') }}" href="{{ pathto('search') }}"/>
|
|
{%- endif %}
|
|
{%- if hasdoc('copyright') %}
|
|
<link rel="copyright" title="{{ _('Copyright') }}" href="{{ pathto('copyright') }}"/>
|
|
{%- endif %}
|
|
<link rel="top" title="{{ docstitle|e }}" href="{{ pathto('index') }}"/>
|
|
{%- if parents %}
|
|
<link rel="up" title="{{ parents[-1].title|striptags|e }}" href="{{ parents[-1].link|e }}"/>
|
|
{%- endif %}
|
|
{%- if next %}
|
|
<link rel="next" title="{{ next.title|striptags|e }}" href="{{ next.link|e }}"/>
|
|
{%- endif %}
|
|
{%- if prev %}
|
|
<link rel="prev" title="{{ prev.title|striptags|e }}" href="{{ prev.link|e }}"/>
|
|
{%- endif %}
|
|
{%- endblock %}
|
|
{%- block extrahead %} {% endblock %}
|
|
|
|
{# Keep modernizr in head - http://modernizr.com/docs/#installing #}
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/modernizr/2.6.2/modernizr.min.js"></script>
|
|
|
|
</head>
|
|
|
|
<body class="wy-body-for-nav" role="document">
|
|
|
|
|
|
<div class="grid-to-center-rtd-theme">
|
|
|
|
<div class="wy-grid-for-nav">
|
|
|
|
|
|
|
|
{# SIDE NAV, TOGGLES ON MOBILE #}
|
|
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
|
|
<div class="wy-side-nav-search">
|
|
<!-- <a href="{{ pathto(master_doc) }}" class="fa fa-home"> {{ project }}</a> -->
|
|
<a href="{{ pathto(master_doc) }}"> <img src="{{ url_root }}/_static/{{ logo }}" alt="Logo" /> </a>
|
|
|
|
{% include "searchbox.html" %}
|
|
</div>
|
|
|
|
<div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="main navigation">
|
|
|
|
{% set toctree = toctree(maxdepth=4, collapse=False, includehidden=True) %}
|
|
{% if toctree %}
|
|
{{ toctree }}
|
|
<a class="toctree-l1" title="Index" href="{{ pathto('genindex') }}">Index</a>
|
|
{% else %}
|
|
<!-- Local TOC -->
|
|
<div class="local-toc">{{ toc }}</div>
|
|
{% endif %}
|
|
</div>
|
|
|
|
</nav>
|
|
|
|
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap">
|
|
|
|
{# MOBILE NAV, TRIGGLES SIDE NAV ON TOGGLE #}
|
|
<nav class="wy-nav-top" role="navigation" aria-label="top navigation">
|
|
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
|
|
<!-- <a href="{{ pathto(master_doc) }}">{{ project }}</a> -->
|
|
<a href="{{ pathto(master_doc) }}"> <img src="{{ url_root }}/_static/{{ logo }}" alt="Logo" /> </a>
|
|
</nav>
|
|
|
|
|
|
|
|
{# PAGE CONTENT #}
|
|
<div class="wy-nav-content">
|
|
<div class="rst-content">
|
|
|
|
<!--begin hamishw addition -->
|
|
|
|
<!--Nav bar defined as a document followed by short version of nav text and long version
|
|
If no such page exists then nav item is not created. CSS defines which of the long or short version is
|
|
displayed. -->
|
|
{% set navigation_bar = [
|
|
('docs/index', 'Docs', 'Documentation'),
|
|
('docs/getting_started/downloads', 'SDK', 'Downloads'),
|
|
('docs/introducing_liteeth/community', 'Help', 'Community'),
|
|
('https://github.com/enjoy-digital/liteeth', 'Github', 'Github Project')
|
|
] -%}
|
|
|
|
|
|
<div class="main-nav-bar" style="">
|
|
|
|
<!-- the layout of the menu options - centered with left and right alignment of the first and last loop items respectively.
|
|
This is VERY UGLY as I'm adding to the CSS in the code to force the alignment. Would be better just to have the elements here and have the CSS in the CSS file. This could be done with a CSS selector, but not worked out how yet. -->
|
|
|
|
<ul id="menu-options">
|
|
{% for document, shorttext, longtext in navigation_bar %}
|
|
{%- if hasdoc(document) %}
|
|
<li{%- if loop.first %} style="text-align:left;" {%- endif %}{%- if loop.last %} style="text-align:right;" {%- endif %}><a class="navlink-short" title="{{ shorttext }}" href="{{ pathto(document) }}">{{ shorttext }}</a><a class="navlink-long" title="{{ longtext }}" href="{{ pathto(document) }}">{{ longtext }}</a></li>
|
|
{%- elif document | truncate(4, True, end='') == 'http' %}
|
|
<li{%- if loop.first %} style="text-align:left;" {%- endif %}{%- if loop.last %} style="text-align:right;" {%- endif %}><a class="navlink-short external" href="{{ document }}">{{ shorttext }}</a><a class="navlink-long external" href="{{ document }}">{{ longtext }}</a></li>
|
|
{%- endif %}
|
|
{% endfor %}
|
|
</ul>
|
|
<!-- <div style="clear:both;"></div> -->
|
|
{% include "breadcrumbs.html" %}
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<!--end hamishw addition -->
|
|
|
|
<!--HamishW move {% include "breadcrumbs.html" %} -->
|
|
<div role="main">
|
|
{% block body %}{% endblock %}
|
|
</div>
|
|
{% include "footer.html" %}
|
|
</div>
|
|
</div>
|
|
|
|
</section>
|
|
|
|
</div>
|
|
{% include "versions.html" %}
|
|
|
|
{% if not embedded %}
|
|
|
|
<script type="text/javascript">
|
|
var DOCUMENTATION_OPTIONS = {
|
|
URL_ROOT:'{{ url_root }}',
|
|
VERSION:'{{ release|e }}',
|
|
COLLAPSE_INDEX:false,
|
|
FILE_SUFFIX:'{{ '' if no_search_suffix else file_suffix }}',
|
|
HAS_SOURCE: {{ has_source|lower }}
|
|
};
|
|
</script>
|
|
{%- for scriptfile in script_files %}
|
|
<script type="text/javascript" src="{{ pathto(scriptfile, 1) }}"></script>
|
|
{%- endfor %}
|
|
|
|
{% endif %}
|
|
|
|
{# RTD hosts this file, so just load on non RTD builds #}
|
|
{% if not READTHEDOCS %}
|
|
<script type="text/javascript" src="{{ pathto('_static/js/theme.js', 1) }}"></script>
|
|
{% endif %}
|
|
|
|
{# STICKY NAVIGATION #}
|
|
{% if theme_sticky_navigation %}
|
|
<script type="text/javascript">
|
|
jQuery(function () {
|
|
SphinxRtdTheme.StickyNav.enable();
|
|
});
|
|
</script>
|
|
{% endif %}
|
|
|
|
{%- block footer %} {% endblock %}
|
|
</div>
|
|
</body>
|
|
</html>
|