Update gh-pages site for 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a

9 files changed, 63 insertions, 27 deletions

diff --git a/api/dotty/tools/dotc/core/Comments$/Comment$.html b/api/dotty/tools/dotc/core/Comments$/Comment$.html
index 80472eeba..258b586be 100644
--- a/api/dotty/tools/dotc/core/Comments$/Comment$.html
+++ b/api/dotty/tools/dotc/core/Comments$/Comment$.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 - Comment"
diff --git a/api/dotty/tools/dotc/core/Comments$/Comment.html b/api/dotty/tools/dotc/core/Comments$/Comment.html
index ec40f5d06..295197c38 100644
--- a/api/dotty/tools/dotc/core/Comments$/Comment.html
+++ b/api/dotty/tools/dotc/core/Comments$/Comment.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 - Comment"
diff --git a/api/dotty/tools/dotc/core/Comments$/CommentExpander.html b/api/dotty/tools/dotc/core/Comments$/CommentExpander.html
index f1ca76221..90b31dd25 100644
--- a/api/dotty/tools/dotc/core/Comments$/CommentExpander.html
+++ b/api/dotty/tools/dotc/core/Comments$/CommentExpander.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 - CommentExpander"
diff --git a/api/dotty/tools/dotc/core/Comments$/CommentExpander/ExpansionLimitExceeded.html b/api/dotty/tools/dotc/core/Comments$/CommentExpander/ExpansionLimitExceeded.html
index c5bc10d30..e6d82b05e 100644
--- a/api/dotty/tools/dotc/core/Comments$/CommentExpander/ExpansionLimitExceeded.html
+++ b/api/dotty/tools/dotc/core/Comments$/CommentExpander/ExpansionLimitExceeded.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 - ExpansionLimitExceeded"
diff --git a/api/dotty/tools/dotc/core/Comments$/CommentsContext$.html b/api/dotty/tools/dotc/core/Comments$/CommentsContext$.html
index 688044a64..46dee9a55 100644
--- a/api/dotty/tools/dotc/core/Comments$/CommentsContext$.html
+++ b/api/dotty/tools/dotc/core/Comments$/CommentsContext$.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 - CommentsContext"
diff --git a/api/dotty/tools/dotc/core/Comments$/CommentsContext.html b/api/dotty/tools/dotc/core/Comments$/CommentsContext.html
index 7384c14c6..02dc3ee0b 100644
--- a/api/dotty/tools/dotc/core/Comments$/CommentsContext.html
+++ b/api/dotty/tools/dotc/core/Comments$/CommentsContext.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 - CommentsContext"
diff --git a/api/dotty/tools/dotc/core/Comments$/ContextDocstrings.html b/api/dotty/tools/dotc/core/Comments$/ContextDocstrings.html
index b7c215d04..8774efc0c 100644
--- a/api/dotty/tools/dotc/core/Comments$/ContextDocstrings.html
+++ b/api/dotty/tools/dotc/core/Comments$/ContextDocstrings.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 - ContextDocstrings"
diff --git a/api/dotty/tools/dotc/core/Comments$/UseCase$.html b/api/dotty/tools/dotc/core/Comments$/UseCase$.html
index 450bfc8aa..f81758a06 100644
--- a/api/dotty/tools/dotc/core/Comments$/UseCase$.html
+++ b/api/dotty/tools/dotc/core/Comments$/UseCase$.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 - UseCase"
diff --git a/api/dotty/tools/dotc/core/Comments$/UseCase.html b/api/dotty/tools/dotc/core/Comments$/UseCase.html
index f34d068ae..6b2c12a4b 100644
--- a/api/dotty/tools/dotc/core/Comments$/UseCase.html
+++ b/api/dotty/tools/dotc/core/Comments$/UseCase.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 - UseCase"