@@ -102,7 +102,7 @@ <h2></h2> {#- -#}
102102    </ nav >  {#- -#}
103103    < main >  {#- -#}
104104        < div  class ="width-limiter ">  {#- -#}
105-             < div  class ="sub-container  ">  {#- -#}
105+             < nav  class ="sub ">  {#- -#}
106106                {%- if page.css_class == "source" -%}
107107                < a  class ="sub-logo-container " href ="{{page.root_path|safe}}{{krate_with_trailing_slash|safe}}index.html ">  {#- -#}
108108                    {%- if !layout.logo.is_empty()  %}
@@ -112,30 +112,28 @@ <h2></h2> {#- -#}
112112                    {%- endif -%}
113113                </ a >  {#- -#}
114114                {%- endif -%}
115-                 < nav  class ="sub ">  {#- -#}
116-                     < form  class ="search-form ">  {#- -#}
117-                         < div  class ="search-container ">  {#- -#}
118-                             < span > </ span >  {#- This empty span is a hacky fix for Safari - See #93184 -#}
119-                             < input  {#  -#} 
120-                                 class ="search-input " {#  -#} 
121-                                 name ="search " {#  -#} 
122-                                 autocomplete ="off " {#  -#} 
123-                                 spellcheck ="false " {#  -#} 
124-                                 placeholder ="Click or press ‘S’ to search, ‘?’ for more options… " {#  -#} 
125-                                 type ="search ">  {#- -#}
126-                             < div  id ="help-button " title ="help " tabindex ="-1 ">  {#- -#}
127-                                 < a  href ="{{page.root_path|safe}}help.html "> ?</ a >  {#- -#}
128-                             </ div >  {#- -#}
129-                             < div  id ="settings-menu " tabindex ="-1 ">  {#- -#}
130-                                 < a  href ="{{page.root_path|safe}}settings.html " title ="settings ">  {#- -#}
131-                                     < img  width ="22 " height ="22 " alt ="Change settings " {#  -#} 
132-                                      src ="{{static_root_path|safe}}wheel{{page.resource_suffix}}.svg ">  {#- -#}
133-                                 </ a >  {#- -#}
134-                             </ div >  {#- -#}
115+                 < form  class ="search-form ">  {#- -#}
116+                     < div  class ="search-container ">  {#- -#}
117+                         < span > </ span >  {#- This empty span is a hacky fix for Safari - See #93184 -#}
118+                         < input  {#  -#} 
119+                             class ="search-input " {#  -#} 
120+                             name ="search " {#  -#} 
121+                             autocomplete ="off " {#  -#} 
122+                             spellcheck ="false " {#  -#} 
123+                             placeholder ="Click or press ‘S’ to search, ‘?’ for more options… " {#  -#} 
124+                             type ="search ">  {#- -#}
125+                         < div  id ="help-button " title ="help " tabindex ="-1 ">  {#- -#}
126+                             < a  href ="{{page.root_path|safe}}help.html "> ?</ a >  {#- -#}
135127                        </ div >  {#- -#}
136-                     </ form >  {#- -#}
137-                 </ nav >  {#- -#}
138-             </ div >  {#- -#}
128+                         < div  id ="settings-menu " tabindex ="-1 ">  {#- -#}
129+                             < a  href ="{{page.root_path|safe}}settings.html " title ="settings ">  {#- -#}
130+                                 < img  width ="22 " height ="22 " alt ="Change settings " {#  -#} 
131+                                  src ="{{static_root_path|safe}}wheel{{page.resource_suffix}}.svg ">  {#- -#}
132+                             </ a >  {#- -#}
133+                         </ div >  {#- -#}
134+                     </ div >  {#- -#}
135+                 </ form >  {#- -#}
136+             </ nav >  {#- -#}
139137            < section  id ="main-content " class ="content "> {{- content|safe -}}</ section >  {#- -#}
140138        </ div >  {#- -#}
141139    </ main >  {#- -#}
0 commit comments