Update gh-pages site for 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a

17 files changed, 119 insertions, 51 deletions

diff --git a/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html
index 82f3c1ebe..408a09029 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.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 - AmbiguousImplicits"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/Candidate$.html b/api/dotty/tools/dotc/typer/Implicits$/Candidate$.html
index 6721ba05b..e94251fa9 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/Candidate$.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/Candidate$.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 - Candidate"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/Candidate.html b/api/dotty/tools/dotc/typer/Implicits$/Candidate.html
index 577f60701..ff4ef22a7 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/Candidate.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/Candidate.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 - Candidate"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.html
index 7b2d439fb..ed70f047a 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.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 - ContextualImplicits"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.html b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.html
index 99752750d..bdb838428 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.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 - DivergingImplicit"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.html
index c540aab02..af6f8b94b 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.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 - DivergingImplicit"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.html b/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.html
index 5da22311f..ae5ac744f 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.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 - ExplainedSearchFailure"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.html
index ecf603485..1b58af278 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.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 - FailedImplicit"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.html b/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.html
index fb4cde53e..120c01dd9 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.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 - ImplicitRefs"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.html b/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.html
index 130d28110..df37e0266 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.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 - NoImplicitMatches"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.html
index d2340be08..4729cec75 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.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 - NonMatchingImplicit"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.html
index ed6ebfb96..c63eaf106 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.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 - OfTypeImplicits"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.html b/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.html
index 0e1df3bb8..cb5a720a6 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.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 - SearchFailure"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html
index dc9199687..2a0d785a9 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.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 - SearchResult"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.html b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.html
index 15cc299bc..1cfda8357 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.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 - SearchSuccess"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html
index 7de0606fb..87a6f2064 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.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 - SearchSuccess"
diff --git a/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.html
index 613aa8512..7a7a4c01e 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.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 - ShadowedImplicit"