From 1c334b12934f39dcc3e20a0d39bb434ddc065918 Mon Sep 17 00:00:00 2001
From: dotty-bot <felix.mulder@epfl.ch>
Date: Thu, 6 Apr 2017 07:41:39 +0000
Subject: Update gh-pages site for 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a

---
 .../collections/CollectionStrawMan6$/IndexedView$/Drop.html    | 10 +++++++---
 .../collections/CollectionStrawMan6$/IndexedView$/Map.html     | 10 +++++++---
 .../CollectionStrawMan6$/IndexedView$/Reverse$.html            | 10 +++++++---
 .../collections/CollectionStrawMan6$/IndexedView$/Reverse.html | 10 +++++++---
 .../collections/CollectionStrawMan6$/IndexedView$/Take.html    | 10 +++++++---
 5 files changed, 35 insertions(+), 15 deletions(-)

(limited to 'api/strawman/collections/CollectionStrawMan6$/IndexedView$')

diff --git a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Drop.html b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Drop.html
index 22405a088..bd2c19ccf 100644
--- a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Drop.html
+++ b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Drop.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 - Drop"
diff --git a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Map.html b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Map.html
index 88ea637b1..35b4cccc7 100644
--- a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Map.html
+++ b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Map.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 - Map"
diff --git a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Reverse$.html b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Reverse$.html
index e5dfe2d02..850a19eff 100644
--- a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Reverse$.html
+++ b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Reverse$.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 - Reverse"
diff --git a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Reverse.html b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Reverse.html
index 0fdabef4f..336a05829 100644
--- a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Reverse.html
+++ b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Reverse.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 - Reverse"
diff --git a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Take.html b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Take.html
index 098802abe..9a0695f6d 100644
--- a/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Take.html
+++ b/api/strawman/collections/CollectionStrawMan6$/IndexedView$/Take.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 - Take"
-- 
cgit v1.2.3