Update gh-pages site for 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a

55 files changed, 385 insertions, 165 deletions

diff --git a/api/dotty/tools/dotc/core/tasty/DottyUnpickler$.html b/api/dotty/tools/dotc/core/tasty/DottyUnpickler$.html
index f705a99ef..c503f8c98 100644
--- a/api/dotty/tools/dotc/core/tasty/DottyUnpickler$.html
+++ b/api/dotty/tools/dotc/core/tasty/DottyUnpickler$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - DottyUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/BadSignature.html b/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/BadSignature.html
index 87e9bf005..b23989780 100644
--- a/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/BadSignature.html
+++ b/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/BadSignature.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - BadSignature"
diff --git a/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/PositionsSectionUnpickler.html b/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/PositionsSectionUnpickler.html
index 7e0f24065..8f23a4c7a 100644
--- a/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/PositionsSectionUnpickler.html
+++ b/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/PositionsSectionUnpickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - PositionsSectionUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/TreeSectionUnpickler.html b/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/TreeSectionUnpickler.html
index 8f9a61dc9..08daf8b68 100644
--- a/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/TreeSectionUnpickler.html
+++ b/api/dotty/tools/dotc/core/tasty/DottyUnpickler$/TreeSectionUnpickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TreeSectionUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/DottyUnpickler.html b/api/dotty/tools/dotc/core/tasty/DottyUnpickler.html
index 6f3a22e9f..181f5167f 100644
--- a/api/dotty/tools/dotc/core/tasty/DottyUnpickler.html
+++ b/api/dotty/tools/dotc/core/tasty/DottyUnpickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - DottyUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/NameBuffer$.html b/api/dotty/tools/dotc/core/tasty/NameBuffer$.html
index 2e92be756..1a56b5975 100644
--- a/api/dotty/tools/dotc/core/tasty/NameBuffer$.html
+++ b/api/dotty/tools/dotc/core/tasty/NameBuffer$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - NameBuffer"
diff --git a/api/dotty/tools/dotc/core/tasty/NameBuffer.html b/api/dotty/tools/dotc/core/tasty/NameBuffer.html
index cd104de97..e35b84be1 100644
--- a/api/dotty/tools/dotc/core/tasty/NameBuffer.html
+++ b/api/dotty/tools/dotc/core/tasty/NameBuffer.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - NameBuffer"
diff --git a/api/dotty/tools/dotc/core/tasty/PositionPickler.html b/api/dotty/tools/dotc/core/tasty/PositionPickler.html
index abc3c65e8..73de8e197 100644
--- a/api/dotty/tools/dotc/core/tasty/PositionPickler.html
+++ b/api/dotty/tools/dotc/core/tasty/PositionPickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - PositionPickler"
diff --git a/api/dotty/tools/dotc/core/tasty/PositionUnpickler.html b/api/dotty/tools/dotc/core/tasty/PositionUnpickler.html
index 8c59fc4f7..0201ef2ae 100644
--- a/api/dotty/tools/dotc/core/tasty/PositionUnpickler.html
+++ b/api/dotty/tools/dotc/core/tasty/PositionUnpickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - PositionUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyBuffer$.html b/api/dotty/tools/dotc/core/tasty/TastyBuffer$.html
index db793c578..f6907624c 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyBuffer$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyBuffer$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyBuffer"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyBuffer$/Addr$.html b/api/dotty/tools/dotc/core/tasty/TastyBuffer$/Addr$.html
index c33b86166..a97318f18 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyBuffer$/Addr$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyBuffer$/Addr$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Addr"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyBuffer$/Addr.html b/api/dotty/tools/dotc/core/tasty/TastyBuffer$/Addr.html
index 98838af2e..62656fb5e 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyBuffer$/Addr.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyBuffer$/Addr.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Addr"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyBuffer.html b/api/dotty/tools/dotc/core/tasty/TastyBuffer.html
index b7ad78ebc..2f6827dbb 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyBuffer.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyBuffer.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyBuffer"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyFormat$.html b/api/dotty/tools/dotc/core/tasty/TastyFormat$.html
index b84a9e929..fcf80112c 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyFormat$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyFormat$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyFormat"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$.html b/api/dotty/tools/dotc/core/tasty/TastyName$.html
index 7d98a79de..5d906ba03 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyName"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/DefaultGetter$.html b/api/dotty/tools/dotc/core/tasty/TastyName$/DefaultGetter$.html
index b6e4e6dda..93516df42 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/DefaultGetter$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/DefaultGetter$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - DefaultGetter"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/DefaultGetter.html b/api/dotty/tools/dotc/core/tasty/TastyName$/DefaultGetter.html
index eeb2392d0..041f0c6e9 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/DefaultGetter.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/DefaultGetter.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - DefaultGetter"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Expanded$.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Expanded$.html
index 2601d81b3..8066ca102 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Expanded$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Expanded$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Expanded"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Expanded.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Expanded.html
index 90fb21062..daef39b2f 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Expanded.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Expanded.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Expanded"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/ModuleClass$.html b/api/dotty/tools/dotc/core/tasty/TastyName$/ModuleClass$.html
index e3b8e9432..13c6b8f85 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/ModuleClass$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/ModuleClass$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - ModuleClass"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/ModuleClass.html b/api/dotty/tools/dotc/core/tasty/TastyName$/ModuleClass.html
index 162fc699e..3a6c351c5 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/ModuleClass.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/ModuleClass.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - ModuleClass"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/NameRef$.html b/api/dotty/tools/dotc/core/tasty/TastyName$/NameRef$.html
index 151538d9e..05b8bdbb9 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/NameRef$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/NameRef$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - NameRef"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/NameRef.html b/api/dotty/tools/dotc/core/tasty/TastyName$/NameRef.html
index 1ab461327..986bff94c 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/NameRef.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/NameRef.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - NameRef"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Qualified$.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Qualified$.html
index bd60f1fb8..4f18b8dcb 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Qualified$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Qualified$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Qualified"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Qualified.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Qualified.html
index d216c08ad..5cf78465c 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Qualified.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Qualified.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Qualified"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Shadowed$.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Shadowed$.html
index 1ae5f688d..6467a180c 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Shadowed$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Shadowed$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Shadowed"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Shadowed.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Shadowed.html
index d30584dd0..0bf038e78 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Shadowed.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Shadowed.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Shadowed"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Signed$.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Signed$.html
index f298a7a94..66177aeb3 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Signed$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Signed$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Signed"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Signed.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Signed.html
index 6ee54d806..3904c177a 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Signed.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Signed.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Signed"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Simple$.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Simple$.html
index e99c8ef25..2f2e5b887 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Simple$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Simple$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Simple"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Simple.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Simple.html
index d1b34aefd..a56f11662 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Simple.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Simple.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Simple"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/SuperAccessor$.html b/api/dotty/tools/dotc/core/tasty/TastyName$/SuperAccessor$.html
index 66c2dc27b..5b5f98388 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/SuperAccessor$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/SuperAccessor$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - SuperAccessor"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/SuperAccessor.html b/api/dotty/tools/dotc/core/tasty/TastyName$/SuperAccessor.html
index cd90b90a5..0a387d849 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/SuperAccessor.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/SuperAccessor.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - SuperAccessor"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName$/Table.html b/api/dotty/tools/dotc/core/tasty/TastyName$/Table.html
index 644155fd0..d808c6f38 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName$/Table.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName$/Table.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Table"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyName.html b/api/dotty/tools/dotc/core/tasty/TastyName.html
index 744621e01..7bd7e0744 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyName.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyName.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyName"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyPickler.html b/api/dotty/tools/dotc/core/tasty/TastyPickler.html
index 27a96e63c..9ef7e9cf2 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyPickler.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyPickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyPickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyPrinter.html b/api/dotty/tools/dotc/core/tasty/TastyPrinter.html
index 401abf3ad..82ed5686f 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyPrinter.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyPrinter.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyPrinter"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyPrinter/PositionSectionUnpickler.html b/api/dotty/tools/dotc/core/tasty/TastyPrinter/PositionSectionUnpickler.html
index 8e940c39f..eff990690 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyPrinter/PositionSectionUnpickler.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyPrinter/PositionSectionUnpickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - PositionSectionUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyPrinter/TreeSectionUnpickler.html b/api/dotty/tools/dotc/core/tasty/TastyPrinter/TreeSectionUnpickler.html
index 626727e2b..db4a47629 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyPrinter/TreeSectionUnpickler.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyPrinter/TreeSectionUnpickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TreeSectionUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyReader$.html b/api/dotty/tools/dotc/core/tasty/TastyReader$.html
index ec4ae0d6b..a3ec9a1c4 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyReader$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyReader$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyReader"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyReader.html b/api/dotty/tools/dotc/core/tasty/TastyReader.html
index 78847e8be..011d3aa8c 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyReader.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyReader.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyReader"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyUnpickler$.html b/api/dotty/tools/dotc/core/tasty/TastyUnpickler$.html
index 5195732f4..51e6d48e6 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyUnpickler$.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyUnpickler$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyUnpickler$/SectionUnpickler.html b/api/dotty/tools/dotc/core/tasty/TastyUnpickler$/SectionUnpickler.html
index da101a6c2..f644c6cd1 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyUnpickler$/SectionUnpickler.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyUnpickler$/SectionUnpickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - SectionUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyUnpickler$/UnpickleException.html b/api/dotty/tools/dotc/core/tasty/TastyUnpickler$/UnpickleException.html
index 11b1fcb3f..99a8a9339 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyUnpickler$/UnpickleException.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyUnpickler$/UnpickleException.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - UnpickleException"
diff --git a/api/dotty/tools/dotc/core/tasty/TastyUnpickler.html b/api/dotty/tools/dotc/core/tasty/TastyUnpickler.html
index 2844ba23f..578aa091f 100644
--- a/api/dotty/tools/dotc/core/tasty/TastyUnpickler.html
+++ b/api/dotty/tools/dotc/core/tasty/TastyUnpickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TastyUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TreeBuffer.html b/api/dotty/tools/dotc/core/tasty/TreeBuffer.html
index 57cbc278e..eb8f05a11 100644
--- a/api/dotty/tools/dotc/core/tasty/TreeBuffer.html
+++ b/api/dotty/tools/dotc/core/tasty/TreeBuffer.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TreeBuffer"
diff --git a/api/dotty/tools/dotc/core/tasty/TreePickler.html b/api/dotty/tools/dotc/core/tasty/TreePickler.html
index 76a51ee4a..ee71e0c5b 100644
--- a/api/dotty/tools/dotc/core/tasty/TreePickler.html
+++ b/api/dotty/tools/dotc/core/tasty/TreePickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TreePickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TreeUnpickler$.html b/api/dotty/tools/dotc/core/tasty/TreeUnpickler$.html
index 22de8fcf8..82f2f41f4 100644
--- a/api/dotty/tools/dotc/core/tasty/TreeUnpickler$.html
+++ b/api/dotty/tools/dotc/core/tasty/TreeUnpickler$.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TreeUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TreeUnpickler$/TreeWithoutOwner.html b/api/dotty/tools/dotc/core/tasty/TreeUnpickler$/TreeWithoutOwner.html
index f97d8a002..dfd6c3b84 100644
--- a/api/dotty/tools/dotc/core/tasty/TreeUnpickler$/TreeWithoutOwner.html
+++ b/api/dotty/tools/dotc/core/tasty/TreeUnpickler$/TreeWithoutOwner.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TreeWithoutOwner"
diff --git a/api/dotty/tools/dotc/core/tasty/TreeUnpickler.html b/api/dotty/tools/dotc/core/tasty/TreeUnpickler.html
index 9993b3796..86a386895 100644
--- a/api/dotty/tools/dotc/core/tasty/TreeUnpickler.html
+++ b/api/dotty/tools/dotc/core/tasty/TreeUnpickler.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TreeUnpickler"
diff --git a/api/dotty/tools/dotc/core/tasty/TreeUnpickler/Completer.html b/api/dotty/tools/dotc/core/tasty/TreeUnpickler/Completer.html
index 4ef106d0b..cdcb1677e 100644
--- a/api/dotty/tools/dotc/core/tasty/TreeUnpickler/Completer.html
+++ b/api/dotty/tools/dotc/core/tasty/TreeUnpickler/Completer.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Completer"
diff --git a/api/dotty/tools/dotc/core/tasty/TreeUnpickler/LazyReader.html b/api/dotty/tools/dotc/core/tasty/TreeUnpickler/LazyReader.html
index a574f7a29..6db95dc48 100644
--- a/api/dotty/tools/dotc/core/tasty/TreeUnpickler/LazyReader.html
+++ b/api/dotty/tools/dotc/core/tasty/TreeUnpickler/LazyReader.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - LazyReader"
diff --git a/api/dotty/tools/dotc/core/tasty/TreeUnpickler/OwnerTree.html b/api/dotty/tools/dotc/core/tasty/TreeUnpickler/OwnerTree.html
index 2e02d2e2a..829243f95 100644
--- a/api/dotty/tools/dotc/core/tasty/TreeUnpickler/OwnerTree.html
+++ b/api/dotty/tools/dotc/core/tasty/TreeUnpickler/OwnerTree.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - OwnerTree"
diff --git a/api/dotty/tools/dotc/core/tasty/TreeUnpickler/TreeReader.html b/api/dotty/tools/dotc/core/tasty/TreeUnpickler/TreeReader.html
index ef5ff48b7..a27a6b8ad 100644
--- a/api/dotty/tools/dotc/core/tasty/TreeUnpickler/TreeReader.html
+++ b/api/dotty/tools/dotc/core/tasty/TreeUnpickler/TreeReader.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - TreeReader"
diff --git a/api/dotty/tools/dotc/core/tasty/index.html b/api/dotty/tools/dotc/core/tasty/index.html
index 05f1fd5cb..0dc39a441 100644
--- a/api/dotty/tools/dotc/core/tasty/index.html
+++ b/api/dotty/tools/dotc/core/tasty/index.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - dotty.tools.dotc.core.tasty"