diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 07:41:39 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 07:41:39 +0000 |
commit | 1c334b12934f39dcc3e20a0d39bb434ddc065918 (patch) | |
tree | 280c4e9592a3a38002e7192f8edf35d2efe68e23 /api/strawman/collections/CollectionStrawMan6$ | |
parent | 1b450c3ae819a88f9ae983183cda403d5c23dff6 (diff) | |
download | dotty-1c334b12934f39dcc3e20a0d39bb434ddc065918.tar.gz dotty-1c334b12934f39dcc3e20a0d39bb434ddc065918.tar.bz2 dotty-1c334b12934f39dcc3e20a0d39bb434ddc065918.zip |
Update gh-pages site for 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a
Diffstat (limited to 'api/strawman/collections/CollectionStrawMan6$')
71 files changed, 497 insertions, 213 deletions
diff --git a/api/strawman/collections/CollectionStrawMan6$/::$.html b/api/strawman/collections/CollectionStrawMan6$/::$.html index 7046340d7..57cfe7809 100644 --- a/api/strawman/collections/CollectionStrawMan6$/::$.html +++ b/api/strawman/collections/CollectionStrawMan6$/::$.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 - ::" diff --git a/api/strawman/collections/CollectionStrawMan6$/::.html b/api/strawman/collections/CollectionStrawMan6$/::.html index 5d9c0b415..7588b2089 100644 --- a/api/strawman/collections/CollectionStrawMan6$/::.html +++ b/api/strawman/collections/CollectionStrawMan6$/::.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 - ::" diff --git a/api/strawman/collections/CollectionStrawMan6$/ArrayBuffer$.html b/api/strawman/collections/CollectionStrawMan6$/ArrayBuffer$.html index 644e3282e..6e44305b9 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ArrayBuffer$.html +++ b/api/strawman/collections/CollectionStrawMan6$/ArrayBuffer$.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 - ArrayBuffer" diff --git a/api/strawman/collections/CollectionStrawMan6$/ArrayBuffer.html b/api/strawman/collections/CollectionStrawMan6$/ArrayBuffer.html index ef02dd151..f21379ba2 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ArrayBuffer.html +++ b/api/strawman/collections/CollectionStrawMan6$/ArrayBuffer.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 - ArrayBuffer" diff --git a/api/strawman/collections/CollectionStrawMan6$/ArrayBufferView.html b/api/strawman/collections/CollectionStrawMan6$/ArrayBufferView.html index fb10a393c..73301b40e 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ArrayBufferView.html +++ b/api/strawman/collections/CollectionStrawMan6$/ArrayBufferView.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 - ArrayBufferView" diff --git a/api/strawman/collections/CollectionStrawMan6$/ArrayLike.html b/api/strawman/collections/CollectionStrawMan6$/ArrayLike.html index 714052c84..ae84f2236 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ArrayLike.html +++ b/api/strawman/collections/CollectionStrawMan6$/ArrayLike.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 - ArrayLike" diff --git a/api/strawman/collections/CollectionStrawMan6$/ArrayOps$.html b/api/strawman/collections/CollectionStrawMan6$/ArrayOps$.html index c88bdfaa6..3d542362f 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ArrayOps$.html +++ b/api/strawman/collections/CollectionStrawMan6$/ArrayOps$.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 - ArrayOps" diff --git a/api/strawman/collections/CollectionStrawMan6$/ArrayOps.html b/api/strawman/collections/CollectionStrawMan6$/ArrayOps.html index 5b58af105..10d3509a5 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ArrayOps.html +++ b/api/strawman/collections/CollectionStrawMan6$/ArrayOps.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 - ArrayOps" diff --git a/api/strawman/collections/CollectionStrawMan6$/ArrayView$.html b/api/strawman/collections/CollectionStrawMan6$/ArrayView$.html index 5bbc5e7c0..667f35ec8 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ArrayView$.html +++ b/api/strawman/collections/CollectionStrawMan6$/ArrayView$.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 - ArrayView" diff --git a/api/strawman/collections/CollectionStrawMan6$/ArrayView.html b/api/strawman/collections/CollectionStrawMan6$/ArrayView.html index 210e7461d..b732eac01 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ArrayView.html +++ b/api/strawman/collections/CollectionStrawMan6$/ArrayView.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 - ArrayView" diff --git a/api/strawman/collections/CollectionStrawMan6$/Buildable.html b/api/strawman/collections/CollectionStrawMan6$/Buildable.html index 1b5eb751b..cf0df52ff 100644 --- a/api/strawman/collections/CollectionStrawMan6$/Buildable.html +++ b/api/strawman/collections/CollectionStrawMan6$/Buildable.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 - Buildable" diff --git a/api/strawman/collections/CollectionStrawMan6$/Builder.html b/api/strawman/collections/CollectionStrawMan6$/Builder.html index eec809bc9..affc8226a 100644 --- a/api/strawman/collections/CollectionStrawMan6$/Builder.html +++ b/api/strawman/collections/CollectionStrawMan6$/Builder.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 - Builder" diff --git a/api/strawman/collections/CollectionStrawMan6$/FromIterable.html b/api/strawman/collections/CollectionStrawMan6$/FromIterable.html index 691783f52..7cef3b55d 100644 --- a/api/strawman/collections/CollectionStrawMan6$/FromIterable.html +++ b/api/strawman/collections/CollectionStrawMan6$/FromIterable.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 - FromIterable" diff --git a/api/strawman/collections/CollectionStrawMan6$/IndexedView$.html b/api/strawman/collections/CollectionStrawMan6$/IndexedView$.html index 70db189d9..f6002f0a3 100644 --- a/api/strawman/collections/CollectionStrawMan6$/IndexedView$.html +++ b/api/strawman/collections/CollectionStrawMan6$/IndexedView$.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 - 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" diff --git a/api/strawman/collections/CollectionStrawMan6$/IndexedView.html b/api/strawman/collections/CollectionStrawMan6$/IndexedView.html index 094119fb8..1615da81a 100644 --- a/api/strawman/collections/CollectionStrawMan6$/IndexedView.html +++ b/api/strawman/collections/CollectionStrawMan6$/IndexedView.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 - IndexedView" diff --git a/api/strawman/collections/CollectionStrawMan6$/Iterable.html b/api/strawman/collections/CollectionStrawMan6$/Iterable.html index 18d69973a..660aa3b4a 100644 --- a/api/strawman/collections/CollectionStrawMan6$/Iterable.html +++ b/api/strawman/collections/CollectionStrawMan6$/Iterable.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 - Iterable" diff --git a/api/strawman/collections/CollectionStrawMan6$/IterableFactory.html b/api/strawman/collections/CollectionStrawMan6$/IterableFactory.html index a7bac9d2f..93c198fc3 100644 --- a/api/strawman/collections/CollectionStrawMan6$/IterableFactory.html +++ b/api/strawman/collections/CollectionStrawMan6$/IterableFactory.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 - IterableFactory" diff --git a/api/strawman/collections/CollectionStrawMan6$/IterableLike.html b/api/strawman/collections/CollectionStrawMan6$/IterableLike.html index a2b4cf8e6..9be03a319 100644 --- a/api/strawman/collections/CollectionStrawMan6$/IterableLike.html +++ b/api/strawman/collections/CollectionStrawMan6$/IterableLike.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 - IterableLike" diff --git a/api/strawman/collections/CollectionStrawMan6$/IterableMonoTransforms.html b/api/strawman/collections/CollectionStrawMan6$/IterableMonoTransforms.html index ef45cf060..b2f2e63d0 100644 --- a/api/strawman/collections/CollectionStrawMan6$/IterableMonoTransforms.html +++ b/api/strawman/collections/CollectionStrawMan6$/IterableMonoTransforms.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 - IterableMonoTransforms" diff --git a/api/strawman/collections/CollectionStrawMan6$/IterableOnce.html b/api/strawman/collections/CollectionStrawMan6$/IterableOnce.html index 1946f0e92..b24c3ff68 100644 --- a/api/strawman/collections/CollectionStrawMan6$/IterableOnce.html +++ b/api/strawman/collections/CollectionStrawMan6$/IterableOnce.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 - IterableOnce" diff --git a/api/strawman/collections/CollectionStrawMan6$/IterableOps.html b/api/strawman/collections/CollectionStrawMan6$/IterableOps.html index c946fb8cb..297872182 100644 --- a/api/strawman/collections/CollectionStrawMan6$/IterableOps.html +++ b/api/strawman/collections/CollectionStrawMan6$/IterableOps.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 - IterableOps" diff --git a/api/strawman/collections/CollectionStrawMan6$/IterablePolyTransforms.html b/api/strawman/collections/CollectionStrawMan6$/IterablePolyTransforms.html index 7e11ecf42..f96666e5d 100644 --- a/api/strawman/collections/CollectionStrawMan6$/IterablePolyTransforms.html +++ b/api/strawman/collections/CollectionStrawMan6$/IterablePolyTransforms.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 - IterablePolyTransforms" diff --git a/api/strawman/collections/CollectionStrawMan6$/Iterator$.html b/api/strawman/collections/CollectionStrawMan6$/Iterator$.html index 8a35833b2..dcf1ae49f 100644 --- a/api/strawman/collections/CollectionStrawMan6$/Iterator$.html +++ b/api/strawman/collections/CollectionStrawMan6$/Iterator$.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 - Iterator" diff --git a/api/strawman/collections/CollectionStrawMan6$/Iterator.html b/api/strawman/collections/CollectionStrawMan6$/Iterator.html index 022684bcf..c51b30dab 100644 --- a/api/strawman/collections/CollectionStrawMan6$/Iterator.html +++ b/api/strawman/collections/CollectionStrawMan6$/Iterator.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 - Iterator" diff --git a/api/strawman/collections/CollectionStrawMan6$/LazyList$.html b/api/strawman/collections/CollectionStrawMan6$/LazyList$.html index c9ae368bc..889b4f00f 100644 --- a/api/strawman/collections/CollectionStrawMan6$/LazyList$.html +++ b/api/strawman/collections/CollectionStrawMan6$/LazyList$.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 - LazyList" diff --git a/api/strawman/collections/CollectionStrawMan6$/LazyList$/#::$.html b/api/strawman/collections/CollectionStrawMan6$/LazyList$/#::$.html index 7d45610dc..f33a00ce1 100644 --- a/api/strawman/collections/CollectionStrawMan6$/LazyList$/#::$.html +++ b/api/strawman/collections/CollectionStrawMan6$/LazyList$/#::$.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 - #::" diff --git a/api/strawman/collections/CollectionStrawMan6$/LazyList$/Empty$.html b/api/strawman/collections/CollectionStrawMan6$/LazyList$/Empty$.html index 820868a2e..346dac41c 100644 --- a/api/strawman/collections/CollectionStrawMan6$/LazyList$/Empty$.html +++ b/api/strawman/collections/CollectionStrawMan6$/LazyList$/Empty$.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 - Empty" diff --git a/api/strawman/collections/CollectionStrawMan6$/LazyList.html b/api/strawman/collections/CollectionStrawMan6$/LazyList.html index 9b4f7f98f..b8f62d79d 100644 --- a/api/strawman/collections/CollectionStrawMan6$/LazyList.html +++ b/api/strawman/collections/CollectionStrawMan6$/LazyList.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 - LazyList" diff --git a/api/strawman/collections/CollectionStrawMan6$/LinearSeq.html b/api/strawman/collections/CollectionStrawMan6$/LinearSeq.html index 46a0bc918..9efe19367 100644 --- a/api/strawman/collections/CollectionStrawMan6$/LinearSeq.html +++ b/api/strawman/collections/CollectionStrawMan6$/LinearSeq.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 - LinearSeq" diff --git a/api/strawman/collections/CollectionStrawMan6$/LinearSeqLike.html b/api/strawman/collections/CollectionStrawMan6$/LinearSeqLike.html index aae173575..16f87b672 100644 --- a/api/strawman/collections/CollectionStrawMan6$/LinearSeqLike.html +++ b/api/strawman/collections/CollectionStrawMan6$/LinearSeqLike.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 - LinearSeqLike" diff --git a/api/strawman/collections/CollectionStrawMan6$/List$.html b/api/strawman/collections/CollectionStrawMan6$/List$.html index 936fc5428..18fdc7419 100644 --- a/api/strawman/collections/CollectionStrawMan6$/List$.html +++ b/api/strawman/collections/CollectionStrawMan6$/List$.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 - List" diff --git a/api/strawman/collections/CollectionStrawMan6$/List.html b/api/strawman/collections/CollectionStrawMan6$/List.html index 7eeb360fe..46accc413 100644 --- a/api/strawman/collections/CollectionStrawMan6$/List.html +++ b/api/strawman/collections/CollectionStrawMan6$/List.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 - List" diff --git a/api/strawman/collections/CollectionStrawMan6$/ListBuffer$.html b/api/strawman/collections/CollectionStrawMan6$/ListBuffer$.html index a3631400e..82f451c8f 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ListBuffer$.html +++ b/api/strawman/collections/CollectionStrawMan6$/ListBuffer$.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 - ListBuffer" diff --git a/api/strawman/collections/CollectionStrawMan6$/ListBuffer.html b/api/strawman/collections/CollectionStrawMan6$/ListBuffer.html index 68e5b96e5..997cd8e79 100644 --- a/api/strawman/collections/CollectionStrawMan6$/ListBuffer.html +++ b/api/strawman/collections/CollectionStrawMan6$/ListBuffer.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 - ListBuffer" diff --git a/api/strawman/collections/CollectionStrawMan6$/Nil$.html b/api/strawman/collections/CollectionStrawMan6$/Nil$.html index c331459c2..b14d7b687 100644 --- a/api/strawman/collections/CollectionStrawMan6$/Nil$.html +++ b/api/strawman/collections/CollectionStrawMan6$/Nil$.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 - Nil" diff --git a/api/strawman/collections/CollectionStrawMan6$/Seq.html b/api/strawman/collections/CollectionStrawMan6$/Seq.html index 77ea763a4..525bb498b 100644 --- a/api/strawman/collections/CollectionStrawMan6$/Seq.html +++ b/api/strawman/collections/CollectionStrawMan6$/Seq.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 - Seq" diff --git a/api/strawman/collections/CollectionStrawMan6$/SeqLike.html b/api/strawman/collections/CollectionStrawMan6$/SeqLike.html index 67011c5ea..211ffc362 100644 --- a/api/strawman/collections/CollectionStrawMan6$/SeqLike.html +++ b/api/strawman/collections/CollectionStrawMan6$/SeqLike.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 - SeqLike" diff --git a/api/strawman/collections/CollectionStrawMan6$/SeqMonoTransforms.html b/api/strawman/collections/CollectionStrawMan6$/SeqMonoTransforms.html index ce893d063..9c2e65461 100644 --- a/api/strawman/collections/CollectionStrawMan6$/SeqMonoTransforms.html +++ b/api/strawman/collections/CollectionStrawMan6$/SeqMonoTransforms.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 - SeqMonoTransforms" diff --git a/api/strawman/collections/CollectionStrawMan6$/StringBuilder.html b/api/strawman/collections/CollectionStrawMan6$/StringBuilder.html index 28ffe7971..6bf05772b 100644 --- a/api/strawman/collections/CollectionStrawMan6$/StringBuilder.html +++ b/api/strawman/collections/CollectionStrawMan6$/StringBuilder.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 - StringBuilder" diff --git a/api/strawman/collections/CollectionStrawMan6$/StringOps$.html b/api/strawman/collections/CollectionStrawMan6$/StringOps$.html index 8784912aa..c6c55fbf0 100644 --- a/api/strawman/collections/CollectionStrawMan6$/StringOps$.html +++ b/api/strawman/collections/CollectionStrawMan6$/StringOps$.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 - StringOps" diff --git a/api/strawman/collections/CollectionStrawMan6$/StringOps.html b/api/strawman/collections/CollectionStrawMan6$/StringOps.html index bcd1c4ab2..a56fe276a 100644 --- a/api/strawman/collections/CollectionStrawMan6$/StringOps.html +++ b/api/strawman/collections/CollectionStrawMan6$/StringOps.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 - StringOps" diff --git a/api/strawman/collections/CollectionStrawMan6$/StringView$.html b/api/strawman/collections/CollectionStrawMan6$/StringView$.html index a6c006d58..513e5f8d7 100644 --- a/api/strawman/collections/CollectionStrawMan6$/StringView$.html +++ b/api/strawman/collections/CollectionStrawMan6$/StringView$.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 - StringView" diff --git a/api/strawman/collections/CollectionStrawMan6$/StringView.html b/api/strawman/collections/CollectionStrawMan6$/StringView.html index 4754582fc..b290da201 100644 --- a/api/strawman/collections/CollectionStrawMan6$/StringView.html +++ b/api/strawman/collections/CollectionStrawMan6$/StringView.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 - StringView" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$.html b/api/strawman/collections/CollectionStrawMan6$/View$.html index 384533600..d3a5b53a8 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$.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 - View" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Concat$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Concat$.html index 5c3c58d6d..71d5de602 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Concat$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Concat$.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 - Concat" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Concat.html b/api/strawman/collections/CollectionStrawMan6$/View$/Concat.html index 7e23b9282..3ad87d0ba 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Concat.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Concat.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 - Concat" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Drop$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Drop$.html index a3413a8c6..e13a1929d 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Drop$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/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$/View$/Drop.html b/api/strawman/collections/CollectionStrawMan6$/View$/Drop.html index 7e62dfbb2..5a0d17c3e 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Drop.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/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$/View$/Elems$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Elems$.html index a6244a089..16276e869 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Elems$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Elems$.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 - Elems" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Elems.html b/api/strawman/collections/CollectionStrawMan6$/View$/Elems.html index 2bd19a5fa..942207029 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Elems.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Elems.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 - Elems" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Empty$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Empty$.html index 49a8b098b..bf3c29466 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Empty$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Empty$.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 - Empty" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Filter$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Filter$.html index 0295a01e8..bc9242e2c 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Filter$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Filter$.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 - Filter" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Filter.html b/api/strawman/collections/CollectionStrawMan6$/View$/Filter.html index 2531a8141..fcad47aed 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Filter.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Filter.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 - Filter" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/FlatMap$.html b/api/strawman/collections/CollectionStrawMan6$/View$/FlatMap$.html index 5e814550b..4f586dd24 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/FlatMap$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/FlatMap$.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 - FlatMap" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/FlatMap.html b/api/strawman/collections/CollectionStrawMan6$/View$/FlatMap.html index f6115f52a..2e589fdc8 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/FlatMap.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/FlatMap.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 - FlatMap" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Map$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Map$.html index a9e7a01ca..5071e64cf 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Map$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/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$/View$/Map.html b/api/strawman/collections/CollectionStrawMan6$/View$/Map.html index 779fd81bb..8ce73806a 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Map.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/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$/View$/Partition$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Partition$.html index 55731ec03..520d67b57 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Partition$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Partition$.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 - Partition" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Partition.html b/api/strawman/collections/CollectionStrawMan6$/View$/Partition.html index 9703cef7a..cbf0fdd1f 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Partition.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Partition.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 - Partition" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Partitioned$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Partitioned$.html index c09b69d60..387288511 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Partitioned$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Partitioned$.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 - Partitioned" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Partitioned.html b/api/strawman/collections/CollectionStrawMan6$/View$/Partitioned.html index ca2bc3994..d58cdca36 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Partitioned.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Partitioned.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 - Partitioned" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Take$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Take$.html index 6782b5ea2..2e8afae21 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Take$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/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" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Take.html b/api/strawman/collections/CollectionStrawMan6$/View$/Take.html index 576be9ca7..efef9d564 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Take.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/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" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Zip$.html b/api/strawman/collections/CollectionStrawMan6$/View$/Zip$.html index 498063305..f5988921a 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Zip$.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Zip$.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 - Zip" diff --git a/api/strawman/collections/CollectionStrawMan6$/View$/Zip.html b/api/strawman/collections/CollectionStrawMan6$/View$/Zip.html index 97208bfc2..bc1ea0c64 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View$/Zip.html +++ b/api/strawman/collections/CollectionStrawMan6$/View$/Zip.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 - Zip" diff --git a/api/strawman/collections/CollectionStrawMan6$/View.html b/api/strawman/collections/CollectionStrawMan6$/View.html index 7ea96a600..e7420e99d 100644 --- a/api/strawman/collections/CollectionStrawMan6$/View.html +++ b/api/strawman/collections/CollectionStrawMan6$/View.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 - View" |