951b4943a9
It is hard to justify keeping the version admonition/disclaimer eating up so much real estate on all documentation pages. It was useful when search engines tended to index old versions of the documentation and reminding people where they "landed" was a good idea. Now, it is just taking up space and we can safely assume that people explicitly interested in older releases will find their way to the right place, as our version selector is in a very similar spot to how other projects do it. Note that the admonition will still be included on "released" versions of the docs, since the "there might be a more current version of this page" admonition is actually useful to have. Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>
35 lines
1.3 KiB
HTML
35 lines
1.3 KiB
HTML
{% extends "!layout.html" %}
|
|
{% block document %}
|
|
{% if is_release %}
|
|
<div class="wy-alert wy-alert-danger" data-nosnippet>
|
|
The <a href="/latest/{{ pagename }}.html">latest development version</a>
|
|
of this page may be more current than this released {{ version }} version.
|
|
</div>
|
|
{% endif %}
|
|
{{ super() }}
|
|
{% endblock %}
|
|
{% block menu %}
|
|
<div data-nosnippet>
|
|
{% include "zversions.html" %}
|
|
{{ super() }}
|
|
{% if reference_links %}
|
|
<div class="toctree-wrapper compound">
|
|
<p class="caption"><span class="caption-text">Reference</span></p>
|
|
<ul>
|
|
{% for title, url in reference_links.items() %}
|
|
<li class="toctree-l1">
|
|
<a class="reference internal" href="{{ url }}">{{ title }}</a>
|
|
</li>
|
|
{% endfor %}
|
|
</ul>
|
|
</div>
|
|
{% endif %}
|
|
</div>
|
|
{% endblock %}
|
|
{% block extrahead %}
|
|
<meta name="color-scheme" content="dark light">
|
|
{# Light/Dark stylesheets added here due to https://github.com/readthedocs/sphinx_rtd_theme/issues/1100 #}
|
|
<link rel="stylesheet" href="{{ pathto('_static/css/light.css', 1) }}" type="text/css" media="(prefers-color-scheme: light)"/>
|
|
<link rel="stylesheet" href="{{ pathto('_static/css/dark.css', 1) }}" type="text/css" media="(prefers-color-scheme: dark)"/>
|
|
{% endblock %}
|