mirror of
https://git.rtems.org/rtems-docs/
synced 2025-05-19 09:57:47 +08:00
204ac80935
- Remove the RTEMS version of the theme - Use conf.py to specify our style sheet - Depend on the jQuery contrib package for including jQuery - Detect the theme is installed Closes #4994
11 lines
319 B
HTML
11 lines
319 B
HTML
{# Import the theme's layout. #}
|
|
{% extends "!layout.html" %}
|
|
{% block sidebartitle %}
|
|
<a href="https://docs.rtems.org/">RTEMS Documentation Project</a>
|
|
{{ super() }}
|
|
{% endblock %}
|
|
{% block menu %}
|
|
{{ super() }}
|
|
<a class="reference internal" href="{{ pathto("genindex") }}"><b>Index</b></a>
|
|
{% endblock %}
|