d47bd0b5c3
Add infrastructure for switching production documentation to use the cleaner read_the_docs theme as noted in issue #6774. This change won't affect the current "daily" or "release" builds but will change local builds that previously also used the RTD theme, but now have the version selection capability added. This PR also adds the Zephyr logo and favicon to the RTD-themed docs, and moves the top level images into an images/ folder. Note that issue #9128 requires workaround.rst to force a reference to files needed for the build but not directly referened in a .rst file. (When #9128 is fixed, we can remove this workaround.rst.) Once merged and tested, we'll tweak the conf.py to use the RTD theme for all doc builds (e.g, when DOC_TAG=daily or release) in a subsequent PR. Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
29 lines
1011 B
HTML
29 lines
1011 B
HTML
{# Add rst-badge after rst-versions for small badge style. #}
|
|
<div class="rst-versions" data-toggle="rst-versions" role="note" aria-label="versions">
|
|
<span class="rst-current-version" data-toggle="rst-current-version">
|
|
<span class="fa fa-book"> Zephyr Project</span>
|
|
v: {{ current_version }}
|
|
<span class="fa fa-caret-down"></span>
|
|
</span>
|
|
<div class="rst-other-versions">
|
|
<dl>
|
|
<dt>{{ _('Versions') }}</dt>
|
|
{% for slug, url in versions %}
|
|
<dd><a href="{{ url }}">{{ slug }}</a></dd>
|
|
{% endfor %}
|
|
</dl>
|
|
<dl>
|
|
<dt>{{ _('On zephyrproject.org') }}</dt>
|
|
<dd>
|
|
<a href="https://www.zephyrproject.org/">Project Home</a>
|
|
</dd>
|
|
<dd>
|
|
<a href="https://www.zephyrproject.org/developers/#downloads">Downloads</a>
|
|
</dd>
|
|
<dd>
|
|
<a href="https://github.com/zephyrproject-rtos/zephyr/releases">Releases</a>
|
|
</dd>
|
|
</dl>
|
|
</div>
|
|
</div>
|