diff options
Diffstat (limited to 'api/strawman/collections/CollectionStrawMan6$/IndexedView$')
5 files changed, 35 insertions, 15 deletions
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" |