2020-08-19 18:11:17 +02:00
|
|
|
<!--
|
|
|
|
Documentation/_templates/layout.html
|
|
|
|
|
|
|
|
Licensed to the Apache Software Foundation (ASF) under one or more
|
|
|
|
contributor license agreements. See the NOTICE file distributed with
|
|
|
|
this work for additional information regarding copyright ownership. The
|
|
|
|
ASF licenses this file to you under the Apache License, Version 2.0 (the
|
|
|
|
"License"); you may not use this file except in compliance with the
|
|
|
|
License. You may obtain a copy of the License at
|
|
|
|
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
|
|
distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
|
|
|
|
WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
|
|
|
|
License for the specific language governing permissions and limitations
|
|
|
|
under the License.
|
|
|
|
-->
|
|
|
|
|
2020-08-16 04:10:44 +02:00
|
|
|
{% extends "!layout.html" %}
|
|
|
|
{% block sidebartitle %}
|
|
|
|
{% if logo and theme_logo_only %}
|
|
|
|
<a href="{{ pathto(master_doc) }}">
|
|
|
|
{% else %}
|
|
|
|
<a href="{{ pathto(master_doc) }}" class="icon icon-home"> {{ project }}
|
|
|
|
{% endif %}
|
|
|
|
|
|
|
|
{% if logo %}
|
|
|
|
{# Not strictly valid HTML, but it's the only way to display/scale
|
|
|
|
it properly, without weird scripting or heaps of work
|
|
|
|
#}
|
|
|
|
<img src="{{ pathto('_static/' + logo, 1) }}" class="logo" alt="{{ _('Logo') }}"/>
|
|
|
|
{% endif %}
|
|
|
|
</a>
|
2020-10-18 18:48:44 +02:00
|
|
|
|
2020-08-16 04:10:44 +02:00
|
|
|
<!-- this version selector is quite ugly, should be probably replaced by something
|
|
|
|
more modern -->
|
2020-10-18 18:48:44 +02:00
|
|
|
|
2020-08-16 04:10:44 +02:00
|
|
|
<div class="version-selector">
|
2020-11-26 19:15:49 +01:00
|
|
|
<select onchange="javascript:location.href = this.value;">
|
|
|
|
{% for nuttx_version in nuttx_versions.split(',') %}
|
|
|
|
<option value="{{ url_root }}../{{ nuttx_version }}" {% if nuttx_version == version %}selected="selected"{% endif %}>{{ nuttx_version }}</option>
|
2020-08-16 04:10:44 +02:00
|
|
|
{% endfor %}
|
|
|
|
</select>
|
|
|
|
</div>
|
2020-10-18 18:48:44 +02:00
|
|
|
|
2020-08-16 04:10:44 +02:00
|
|
|
{% include "searchbox.html" %}
|
|
|
|
{% endblock %}
|
|
|
|
|