| <div class="docs-nav-mobile unit whole show-on-mobiles"> | |
| <select onchange="if (this.value) window.location.href=this.value"> | |
| <option value="">Navigate the docs…</option> | |
| {% for section in site.data.docs %}{% comment %} | |
| {% endcomment %} <optgroup label="{{ section.title }}">{% comment %} | |
| {% endcomment %} {% include docs_option.html items=section.docs %}{% comment %} | |
| {% endcomment %} </optgroup>{% comment %} | |
| {% endcomment %} | |
| {% endfor %} | |
| </select> | |
| </div> |