Deployed 3dad9d4 to prerelease with MkDocs 1.5.3 and mike 2.0.0

prerelease/install-and-setup/index.html

@@ -388,7 +388,8 @@
     </span>
   </a>
   
-</li>
+    <nav class="md-nav" aria-label="Linux">
+      <ul class="md-nav__list">
         
           <li class="md-nav__item">
   <a href="#arch-linux" class="md-nav__link">
@@ -397,8 +398,7 @@
     </span>
   </a>
   
-    <nav class="md-nav" aria-label="Arch Linux">
-      <ul class="md-nav__list">
+</li>
         
           <li class="md-nav__item">
   <a href="#from-source" class="md-nav__link">
@@ -1510,7 +1510,8 @@
     </span>
   </a>
   
-</li>
+    <nav class="md-nav" aria-label="Linux">
+      <ul class="md-nav__list">
         
           <li class="md-nav__item">
   <a href="#arch-linux" class="md-nav__link">
@@ -1519,8 +1520,7 @@
     </span>
   </a>
   
-    <nav class="md-nav" aria-label="Arch Linux">
-      <ul class="md-nav__list">
+</li>
         
           <li class="md-nav__item">
   <a href="#from-source" class="md-nav__link">
@@ -1711,7 +1711,7 @@ cargo<span class="w"> </span>binstall<span class="w"> </span>--strategies<span c
 <p>Without the <code>--strategies</code> option, you may get equivalent binaries that should
 be compiled from the same source code.</p>
 <h3 id="linux">Linux<a class="headerlink" href="#linux" title="Permanent link">&para;</a></h3>
-<h3 id="arch-linux">Arch Linux<a class="headerlink" href="#arch-linux" title="Permanent link">&para;</a></h3>
+<h4 id="arch-linux">Arch Linux<a class="headerlink" href="#arch-linux" title="Permanent link">&para;</a></h4>
 <p>You can install the <code>jujutsu</code> package from the <a href="https://archlinux.org/packages/extra/x86_64/jujutsu/">official extra repository</a>:</p>
 <div class="highlight"><pre><span></span><code>pacman -S jujutsu
 </code></pre></div>