diff options
Diffstat (limited to 'api/dotty/tools/dotc/ast')
220 files changed, 1540 insertions, 660 deletions
diff --git a/api/dotty/tools/dotc/ast/NavigateAST$.html b/api/dotty/tools/dotc/ast/NavigateAST$.html index 78de5b1a3..6d18fc51d 100644 --- a/api/dotty/tools/dotc/ast/NavigateAST$.html +++ b/api/dotty/tools/dotc/ast/NavigateAST$.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 - NavigateAST" diff --git a/api/dotty/tools/dotc/ast/PluggableTransformers$.html b/api/dotty/tools/dotc/ast/PluggableTransformers$.html index 9b22e5499..ad6f9a0ad 100644 --- a/api/dotty/tools/dotc/ast/PluggableTransformers$.html +++ b/api/dotty/tools/dotc/ast/PluggableTransformers$.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 - PluggableTransformers" diff --git a/api/dotty/tools/dotc/ast/Positioned.html b/api/dotty/tools/dotc/ast/Positioned.html index b671c217e..11cd3b54b 100644 --- a/api/dotty/tools/dotc/ast/Positioned.html +++ b/api/dotty/tools/dotc/ast/Positioned.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 - Positioned" diff --git a/api/dotty/tools/dotc/ast/TreeInfo$.html b/api/dotty/tools/dotc/ast/TreeInfo$.html index 9b88e9bd4..a94e0b532 100644 --- a/api/dotty/tools/dotc/ast/TreeInfo$.html +++ b/api/dotty/tools/dotc/ast/TreeInfo$.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 - TreeInfo" diff --git a/api/dotty/tools/dotc/ast/TreeInfo$/PurityLevel$.html b/api/dotty/tools/dotc/ast/TreeInfo$/PurityLevel$.html index 8515488c9..c38008718 100644 --- a/api/dotty/tools/dotc/ast/TreeInfo$/PurityLevel$.html +++ b/api/dotty/tools/dotc/ast/TreeInfo$/PurityLevel$.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 - PurityLevel" diff --git a/api/dotty/tools/dotc/ast/TreeInfo$/PurityLevel.html b/api/dotty/tools/dotc/ast/TreeInfo$/PurityLevel.html index 033a96956..d8e7d5f36 100644 --- a/api/dotty/tools/dotc/ast/TreeInfo$/PurityLevel.html +++ b/api/dotty/tools/dotc/ast/TreeInfo$/PurityLevel.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 - PurityLevel" diff --git a/api/dotty/tools/dotc/ast/TreeInfo.html b/api/dotty/tools/dotc/ast/TreeInfo.html index 27d3c38f8..42a448de6 100644 --- a/api/dotty/tools/dotc/ast/TreeInfo.html +++ b/api/dotty/tools/dotc/ast/TreeInfo.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 - TreeInfo" diff --git a/api/dotty/tools/dotc/ast/TreeInfo/MatchingArgs.html b/api/dotty/tools/dotc/ast/TreeInfo/MatchingArgs.html index 54c71cbbc..364a79c06 100644 --- a/api/dotty/tools/dotc/ast/TreeInfo/MatchingArgs.html +++ b/api/dotty/tools/dotc/ast/TreeInfo/MatchingArgs.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 - MatchingArgs" diff --git a/api/dotty/tools/dotc/ast/TreeTypeMap$.html b/api/dotty/tools/dotc/ast/TreeTypeMap$.html index f2c7e8dd5..c2329da13 100644 --- a/api/dotty/tools/dotc/ast/TreeTypeMap$.html +++ b/api/dotty/tools/dotc/ast/TreeTypeMap$.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 - TreeTypeMap" diff --git a/api/dotty/tools/dotc/ast/TreeTypeMap.html b/api/dotty/tools/dotc/ast/TreeTypeMap.html index 63580352d..7e304a64a 100644 --- a/api/dotty/tools/dotc/ast/TreeTypeMap.html +++ b/api/dotty/tools/dotc/ast/TreeTypeMap.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 - TreeTypeMap" diff --git a/api/dotty/tools/dotc/ast/Trees$.html b/api/dotty/tools/dotc/ast/Trees$.html index 07a5b28a3..60356ebde 100644 --- a/api/dotty/tools/dotc/ast/Trees$.html +++ b/api/dotty/tools/dotc/ast/Trees$.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 - Trees" diff --git a/api/dotty/tools/dotc/ast/Trees$/Alternative$.html b/api/dotty/tools/dotc/ast/Trees$/Alternative$.html index 34d3f6f35..f4b5cc312 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Alternative$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Alternative$.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 - Alternative" diff --git a/api/dotty/tools/dotc/ast/Trees$/Alternative.html b/api/dotty/tools/dotc/ast/Trees$/Alternative.html index bb03b6e12..c12990d4d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Alternative.html +++ b/api/dotty/tools/dotc/ast/Trees$/Alternative.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 - Alternative" diff --git a/api/dotty/tools/dotc/ast/Trees$/AndTypeTree$.html b/api/dotty/tools/dotc/ast/Trees$/AndTypeTree$.html index ed3b57ba6..62a50182d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/AndTypeTree$.html +++ b/api/dotty/tools/dotc/ast/Trees$/AndTypeTree$.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 - AndTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/AndTypeTree.html b/api/dotty/tools/dotc/ast/Trees$/AndTypeTree.html index b1504d8ca..434cde482 100644 --- a/api/dotty/tools/dotc/ast/Trees$/AndTypeTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/AndTypeTree.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 - AndTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/Annotated$.html b/api/dotty/tools/dotc/ast/Trees$/Annotated$.html index 253a8feb2..1c68cb5d2 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Annotated$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Annotated$.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 - Annotated" diff --git a/api/dotty/tools/dotc/ast/Trees$/Annotated.html b/api/dotty/tools/dotc/ast/Trees$/Annotated.html index 034de7c74..a1f16837e 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Annotated.html +++ b/api/dotty/tools/dotc/ast/Trees$/Annotated.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 - Annotated" diff --git a/api/dotty/tools/dotc/ast/Trees$/AppliedTypeTree$.html b/api/dotty/tools/dotc/ast/Trees$/AppliedTypeTree$.html index cca8822de..5c67d71d0 100644 --- a/api/dotty/tools/dotc/ast/Trees$/AppliedTypeTree$.html +++ b/api/dotty/tools/dotc/ast/Trees$/AppliedTypeTree$.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 - AppliedTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/AppliedTypeTree.html b/api/dotty/tools/dotc/ast/Trees$/AppliedTypeTree.html index 1d955f8cf..df5db5cd8 100644 --- a/api/dotty/tools/dotc/ast/Trees$/AppliedTypeTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/AppliedTypeTree.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 - AppliedTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/Apply$.html b/api/dotty/tools/dotc/ast/Trees$/Apply$.html index c63ab4e23..3a0f9dae8 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Apply$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Apply$.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 - Apply" diff --git a/api/dotty/tools/dotc/ast/Trees$/Apply.html b/api/dotty/tools/dotc/ast/Trees$/Apply.html index 718259621..9f28bc253 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Apply.html +++ b/api/dotty/tools/dotc/ast/Trees$/Apply.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 - Apply" diff --git a/api/dotty/tools/dotc/ast/Trees$/Assign$.html b/api/dotty/tools/dotc/ast/Trees$/Assign$.html index b8c2326d9..709203b3e 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Assign$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Assign$.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 - Assign" diff --git a/api/dotty/tools/dotc/ast/Trees$/Assign.html b/api/dotty/tools/dotc/ast/Trees$/Assign.html index cff67166c..94fd6c39b 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Assign.html +++ b/api/dotty/tools/dotc/ast/Trees$/Assign.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 - Assign" diff --git a/api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.html b/api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.html index 49c334f3a..6059d4610 100644 --- a/api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.html +++ b/api/dotty/tools/dotc/ast/Trees$/BackquotedIdent.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 - BackquotedIdent" diff --git a/api/dotty/tools/dotc/ast/Trees$/Bind$.html b/api/dotty/tools/dotc/ast/Trees$/Bind$.html index 89d454ecb..6e323c6ea 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Bind$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Bind$.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 - Bind" diff --git a/api/dotty/tools/dotc/ast/Trees$/Bind.html b/api/dotty/tools/dotc/ast/Trees$/Bind.html index 8b8e747f9..ce586f706 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Bind.html +++ b/api/dotty/tools/dotc/ast/Trees$/Bind.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 - Bind" diff --git a/api/dotty/tools/dotc/ast/Trees$/Block$.html b/api/dotty/tools/dotc/ast/Trees$/Block$.html index 2211de067..8e15c10b7 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Block$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Block$.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 - Block" diff --git a/api/dotty/tools/dotc/ast/Trees$/Block.html b/api/dotty/tools/dotc/ast/Trees$/Block.html index 84dc74903..7478bbbde 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Block.html +++ b/api/dotty/tools/dotc/ast/Trees$/Block.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 - Block" diff --git a/api/dotty/tools/dotc/ast/Trees$/ByNameTypeTree$.html b/api/dotty/tools/dotc/ast/Trees$/ByNameTypeTree$.html index 24735bc79..9aa966388 100644 --- a/api/dotty/tools/dotc/ast/Trees$/ByNameTypeTree$.html +++ b/api/dotty/tools/dotc/ast/Trees$/ByNameTypeTree$.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 - ByNameTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/ByNameTypeTree.html b/api/dotty/tools/dotc/ast/Trees$/ByNameTypeTree.html index 7e6a53f67..da2c7e09d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/ByNameTypeTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/ByNameTypeTree.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 - ByNameTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/CaseDef$.html b/api/dotty/tools/dotc/ast/Trees$/CaseDef$.html index 827278e67..265d638c6 100644 --- a/api/dotty/tools/dotc/ast/Trees$/CaseDef$.html +++ b/api/dotty/tools/dotc/ast/Trees$/CaseDef$.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 - CaseDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/CaseDef.html b/api/dotty/tools/dotc/ast/Trees$/CaseDef.html index 347c8853a..b5cf1d594 100644 --- a/api/dotty/tools/dotc/ast/Trees$/CaseDef.html +++ b/api/dotty/tools/dotc/ast/Trees$/CaseDef.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 - CaseDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/Closure$.html b/api/dotty/tools/dotc/ast/Trees$/Closure$.html index 8f72bc97e..46e8ab6f8 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Closure$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Closure$.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 - Closure" diff --git a/api/dotty/tools/dotc/ast/Trees$/Closure.html b/api/dotty/tools/dotc/ast/Trees$/Closure.html index 5510798fb..30ce79f29 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Closure.html +++ b/api/dotty/tools/dotc/ast/Trees$/Closure.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 - Closure" diff --git a/api/dotty/tools/dotc/ast/Trees$/DefDef$.html b/api/dotty/tools/dotc/ast/Trees$/DefDef$.html index b5e26df81..0100dc422 100644 --- a/api/dotty/tools/dotc/ast/Trees$/DefDef$.html +++ b/api/dotty/tools/dotc/ast/Trees$/DefDef$.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 - DefDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/DefDef.html b/api/dotty/tools/dotc/ast/Trees$/DefDef.html index df6893b78..7191f1c19 100644 --- a/api/dotty/tools/dotc/ast/Trees$/DefDef.html +++ b/api/dotty/tools/dotc/ast/Trees$/DefDef.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 - DefDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/DefTree.html b/api/dotty/tools/dotc/ast/Trees$/DefTree.html index 7e4729e10..2765c1592 100644 --- a/api/dotty/tools/dotc/ast/Trees$/DefTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/DefTree.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 - DefTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/DenotingTree.html b/api/dotty/tools/dotc/ast/Trees$/DenotingTree.html index 53f644ed5..d9e632430 100644 --- a/api/dotty/tools/dotc/ast/Trees$/DenotingTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/DenotingTree.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 - DenotingTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/EmptyValDef.html b/api/dotty/tools/dotc/ast/Trees$/EmptyValDef.html index 9e28ba58d..7ef9d0a26 100644 --- a/api/dotty/tools/dotc/ast/Trees$/EmptyValDef.html +++ b/api/dotty/tools/dotc/ast/Trees$/EmptyValDef.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 - EmptyValDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/GenericApply.html b/api/dotty/tools/dotc/ast/Trees$/GenericApply.html index 5d902e5f2..9950a6c18 100644 --- a/api/dotty/tools/dotc/ast/Trees$/GenericApply.html +++ b/api/dotty/tools/dotc/ast/Trees$/GenericApply.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 - GenericApply" diff --git a/api/dotty/tools/dotc/ast/Trees$/Ident$.html b/api/dotty/tools/dotc/ast/Trees$/Ident$.html index 0ddb9654e..deac8b83d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Ident$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Ident$.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 - Ident" diff --git a/api/dotty/tools/dotc/ast/Trees$/Ident.html b/api/dotty/tools/dotc/ast/Trees$/Ident.html index f9e4d9f00..6045f1ba5 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Ident.html +++ b/api/dotty/tools/dotc/ast/Trees$/Ident.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 - Ident" diff --git a/api/dotty/tools/dotc/ast/Trees$/If$.html b/api/dotty/tools/dotc/ast/Trees$/If$.html index 3be9ab7fe..c128fd062 100644 --- a/api/dotty/tools/dotc/ast/Trees$/If$.html +++ b/api/dotty/tools/dotc/ast/Trees$/If$.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 - If" diff --git a/api/dotty/tools/dotc/ast/Trees$/If.html b/api/dotty/tools/dotc/ast/Trees$/If.html index 8c22e2340..4ed8e4d14 100644 --- a/api/dotty/tools/dotc/ast/Trees$/If.html +++ b/api/dotty/tools/dotc/ast/Trees$/If.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 - If" diff --git a/api/dotty/tools/dotc/ast/Trees$/Import$.html b/api/dotty/tools/dotc/ast/Trees$/Import$.html index 8b806f950..33b475a54 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Import$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Import$.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 - Import" diff --git a/api/dotty/tools/dotc/ast/Trees$/Import.html b/api/dotty/tools/dotc/ast/Trees$/Import.html index eda86f6d9..1c6b9b410 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Import.html +++ b/api/dotty/tools/dotc/ast/Trees$/Import.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 - Import" diff --git a/api/dotty/tools/dotc/ast/Trees$/Inlined$.html b/api/dotty/tools/dotc/ast/Trees$/Inlined$.html index f569ee241..ffa2650a4 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Inlined$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Inlined$.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 - Inlined" diff --git a/api/dotty/tools/dotc/ast/Trees$/Inlined.html b/api/dotty/tools/dotc/ast/Trees$/Inlined.html index cc44ceb52..e2a09a255 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Inlined.html +++ b/api/dotty/tools/dotc/ast/Trees$/Inlined.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 - Inlined" diff --git a/api/dotty/tools/dotc/ast/Trees$/Instance.html b/api/dotty/tools/dotc/ast/Trees$/Instance.html index 5c1d681f7..35ca47c24 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Instance.html +++ b/api/dotty/tools/dotc/ast/Trees$/Instance.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 - Instance" diff --git a/api/dotty/tools/dotc/ast/Trees$/Instance/DeepFolder.html b/api/dotty/tools/dotc/ast/Trees$/Instance/DeepFolder.html index efdf6c977..42f16928d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Instance/DeepFolder.html +++ b/api/dotty/tools/dotc/ast/Trees$/Instance/DeepFolder.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 - DeepFolder" diff --git a/api/dotty/tools/dotc/ast/Trees$/Instance/ShallowFolder.html b/api/dotty/tools/dotc/ast/Trees$/Instance/ShallowFolder.html index 72e829a14..6a6287adf 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Instance/ShallowFolder.html +++ b/api/dotty/tools/dotc/ast/Trees$/Instance/ShallowFolder.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 - ShallowFolder" diff --git a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeAccumulator.html b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeAccumulator.html index e0b6b2ab9..aa9892554 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeAccumulator.html +++ b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeAccumulator.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 - TreeAccumulator" diff --git a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeCopier.html b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeCopier.html index b76a245e4..18b890c6d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeCopier.html +++ b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeCopier.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 - TreeCopier" diff --git a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeMap$.html b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeMap$.html index 6ccad2f39..b300463ab 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeMap$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeMap$.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 - TreeMap" diff --git a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeMap.html b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeMap.html index d15afb02f..4252b0c3d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeMap.html +++ b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeMap.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 - TreeMap" diff --git a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeTraverser.html b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeTraverser.html index 0f542db7f..72b693436 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Instance/TreeTraverser.html +++ b/api/dotty/tools/dotc/ast/Trees$/Instance/TreeTraverser.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 - TreeTraverser" diff --git a/api/dotty/tools/dotc/ast/Trees$/JavaSeqLiteral.html b/api/dotty/tools/dotc/ast/Trees$/JavaSeqLiteral.html index 58fe9c7b1..934df7d37 100644 --- a/api/dotty/tools/dotc/ast/Trees$/JavaSeqLiteral.html +++ b/api/dotty/tools/dotc/ast/Trees$/JavaSeqLiteral.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 - JavaSeqLiteral" diff --git a/api/dotty/tools/dotc/ast/Trees$/Lazy.html b/api/dotty/tools/dotc/ast/Trees$/Lazy.html index 3319e4c06..0e463f0dd 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Lazy.html +++ b/api/dotty/tools/dotc/ast/Trees$/Lazy.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 - Lazy" diff --git a/api/dotty/tools/dotc/ast/Trees$/Literal$.html b/api/dotty/tools/dotc/ast/Trees$/Literal$.html index 7e9cb1481..f8f32a2c5 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Literal$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Literal$.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 - Literal" diff --git a/api/dotty/tools/dotc/ast/Trees$/Literal.html b/api/dotty/tools/dotc/ast/Trees$/Literal.html index a37680bce..77ee66d98 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Literal.html +++ b/api/dotty/tools/dotc/ast/Trees$/Literal.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 - Literal" diff --git a/api/dotty/tools/dotc/ast/Trees$/Match$.html b/api/dotty/tools/dotc/ast/Trees$/Match$.html index ea7701c31..b810e651e 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Match$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Match$.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 - Match" diff --git a/api/dotty/tools/dotc/ast/Trees$/Match.html b/api/dotty/tools/dotc/ast/Trees$/Match.html index 4e32f3776..0cd7c6a12 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Match.html +++ b/api/dotty/tools/dotc/ast/Trees$/Match.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 - Match" diff --git a/api/dotty/tools/dotc/ast/Trees$/MemberDef.html b/api/dotty/tools/dotc/ast/Trees$/MemberDef.html index 139f3624f..f1bca2f85 100644 --- a/api/dotty/tools/dotc/ast/Trees$/MemberDef.html +++ b/api/dotty/tools/dotc/ast/Trees$/MemberDef.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 - MemberDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/NameTree.html b/api/dotty/tools/dotc/ast/Trees$/NameTree.html index 66bbade9f..fbe04ea1c 100644 --- a/api/dotty/tools/dotc/ast/Trees$/NameTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/NameTree.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 - NameTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/NamedArg$.html b/api/dotty/tools/dotc/ast/Trees$/NamedArg$.html index a4e91e670..8e7e7f704 100644 --- a/api/dotty/tools/dotc/ast/Trees$/NamedArg$.html +++ b/api/dotty/tools/dotc/ast/Trees$/NamedArg$.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 - NamedArg" diff --git a/api/dotty/tools/dotc/ast/Trees$/NamedArg.html b/api/dotty/tools/dotc/ast/Trees$/NamedArg.html index e889c0d35..0f14f24e4 100644 --- a/api/dotty/tools/dotc/ast/Trees$/NamedArg.html +++ b/api/dotty/tools/dotc/ast/Trees$/NamedArg.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 - NamedArg" diff --git a/api/dotty/tools/dotc/ast/Trees$/New$.html b/api/dotty/tools/dotc/ast/Trees$/New$.html index 9b65cc93b..e435e258a 100644 --- a/api/dotty/tools/dotc/ast/Trees$/New$.html +++ b/api/dotty/tools/dotc/ast/Trees$/New$.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 - New" diff --git a/api/dotty/tools/dotc/ast/Trees$/New.html b/api/dotty/tools/dotc/ast/Trees$/New.html index 3a67b7fe4..6e603da27 100644 --- a/api/dotty/tools/dotc/ast/Trees$/New.html +++ b/api/dotty/tools/dotc/ast/Trees$/New.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 - New" diff --git a/api/dotty/tools/dotc/ast/Trees$/OrTypeTree$.html b/api/dotty/tools/dotc/ast/Trees$/OrTypeTree$.html index 1d33a97b1..e36dd2daf 100644 --- a/api/dotty/tools/dotc/ast/Trees$/OrTypeTree$.html +++ b/api/dotty/tools/dotc/ast/Trees$/OrTypeTree$.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 - OrTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/OrTypeTree.html b/api/dotty/tools/dotc/ast/Trees$/OrTypeTree.html index 0830e9342..74ee9bc29 100644 --- a/api/dotty/tools/dotc/ast/Trees$/OrTypeTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/OrTypeTree.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 - OrTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/PackageDef$.html b/api/dotty/tools/dotc/ast/Trees$/PackageDef$.html index b34d9bb16..c19419da2 100644 --- a/api/dotty/tools/dotc/ast/Trees$/PackageDef$.html +++ b/api/dotty/tools/dotc/ast/Trees$/PackageDef$.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 - PackageDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/PackageDef.html b/api/dotty/tools/dotc/ast/Trees$/PackageDef.html index 4bdaa1b32..1d010bee1 100644 --- a/api/dotty/tools/dotc/ast/Trees$/PackageDef.html +++ b/api/dotty/tools/dotc/ast/Trees$/PackageDef.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 - PackageDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/PatternTree.html b/api/dotty/tools/dotc/ast/Trees$/PatternTree.html index 861eb5820..5eb8479b7 100644 --- a/api/dotty/tools/dotc/ast/Trees$/PatternTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/PatternTree.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 - PatternTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/PolyTypeTree$.html b/api/dotty/tools/dotc/ast/Trees$/PolyTypeTree$.html index aa16972c8..5d7d67450 100644 --- a/api/dotty/tools/dotc/ast/Trees$/PolyTypeTree$.html +++ b/api/dotty/tools/dotc/ast/Trees$/PolyTypeTree$.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 - PolyTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/PolyTypeTree.html b/api/dotty/tools/dotc/ast/Trees$/PolyTypeTree.html index a78c40ce2..ef40931f0 100644 --- a/api/dotty/tools/dotc/ast/Trees$/PolyTypeTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/PolyTypeTree.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 - PolyTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/ProxyTree.html b/api/dotty/tools/dotc/ast/Trees$/ProxyTree.html index c60566427..c6116b3a8 100644 --- a/api/dotty/tools/dotc/ast/Trees$/ProxyTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/ProxyTree.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 - ProxyTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/RefTree.html b/api/dotty/tools/dotc/ast/Trees$/RefTree.html index 51c082361..c700d7273 100644 --- a/api/dotty/tools/dotc/ast/Trees$/RefTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/RefTree.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 - RefTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/RefinedTypeTree$.html b/api/dotty/tools/dotc/ast/Trees$/RefinedTypeTree$.html index 9e2bcbc7b..3adb5139d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/RefinedTypeTree$.html +++ b/api/dotty/tools/dotc/ast/Trees$/RefinedTypeTree$.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 - RefinedTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/RefinedTypeTree.html b/api/dotty/tools/dotc/ast/Trees$/RefinedTypeTree.html index bb4dff799..63c17cfac 100644 --- a/api/dotty/tools/dotc/ast/Trees$/RefinedTypeTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/RefinedTypeTree.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 - RefinedTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/Return$.html b/api/dotty/tools/dotc/ast/Trees$/Return$.html index d222e0633..c1b745bb0 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Return$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Return$.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 - Return" diff --git a/api/dotty/tools/dotc/ast/Trees$/Return.html b/api/dotty/tools/dotc/ast/Trees$/Return.html index 4ba2dac87..523241f53 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Return.html +++ b/api/dotty/tools/dotc/ast/Trees$/Return.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 - Return" diff --git a/api/dotty/tools/dotc/ast/Trees$/Select$.html b/api/dotty/tools/dotc/ast/Trees$/Select$.html index 51ccbe8ad..8a5e711c4 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Select$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Select$.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 - Select" diff --git a/api/dotty/tools/dotc/ast/Trees$/Select.html b/api/dotty/tools/dotc/ast/Trees$/Select.html index e739d4cbf..2ac977bd4 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Select.html +++ b/api/dotty/tools/dotc/ast/Trees$/Select.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 - Select" diff --git a/api/dotty/tools/dotc/ast/Trees$/SelectWithSig.html b/api/dotty/tools/dotc/ast/Trees$/SelectWithSig.html index 509e81abc..76b492b1a 100644 --- a/api/dotty/tools/dotc/ast/Trees$/SelectWithSig.html +++ b/api/dotty/tools/dotc/ast/Trees$/SelectWithSig.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 - SelectWithSig" diff --git a/api/dotty/tools/dotc/ast/Trees$/SeqLiteral$.html b/api/dotty/tools/dotc/ast/Trees$/SeqLiteral$.html index 19590b69f..aa9078689 100644 --- a/api/dotty/tools/dotc/ast/Trees$/SeqLiteral$.html +++ b/api/dotty/tools/dotc/ast/Trees$/SeqLiteral$.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 - SeqLiteral" diff --git a/api/dotty/tools/dotc/ast/Trees$/SeqLiteral.html b/api/dotty/tools/dotc/ast/Trees$/SeqLiteral.html index 6943b30c4..7d39b1da2 100644 --- a/api/dotty/tools/dotc/ast/Trees$/SeqLiteral.html +++ b/api/dotty/tools/dotc/ast/Trees$/SeqLiteral.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 - SeqLiteral" diff --git a/api/dotty/tools/dotc/ast/Trees$/SingletonTypeTree$.html b/api/dotty/tools/dotc/ast/Trees$/SingletonTypeTree$.html index 8aecc362f..f714a77cb 100644 --- a/api/dotty/tools/dotc/ast/Trees$/SingletonTypeTree$.html +++ b/api/dotty/tools/dotc/ast/Trees$/SingletonTypeTree$.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 - SingletonTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/SingletonTypeTree.html b/api/dotty/tools/dotc/ast/Trees$/SingletonTypeTree.html index 1af84a702..5dfa8f6e9 100644 --- a/api/dotty/tools/dotc/ast/Trees$/SingletonTypeTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/SingletonTypeTree.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 - SingletonTypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/Super$.html b/api/dotty/tools/dotc/ast/Trees$/Super$.html index a48edbebd..538d67360 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Super$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Super$.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 - Super" diff --git a/api/dotty/tools/dotc/ast/Trees$/Super.html b/api/dotty/tools/dotc/ast/Trees$/Super.html index 59c136570..624736c7d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Super.html +++ b/api/dotty/tools/dotc/ast/Trees$/Super.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 - Super" diff --git a/api/dotty/tools/dotc/ast/Trees$/Template$.html b/api/dotty/tools/dotc/ast/Trees$/Template$.html index 28b9c7996..188403d35 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Template$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Template$.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 - Template" diff --git a/api/dotty/tools/dotc/ast/Trees$/Template.html b/api/dotty/tools/dotc/ast/Trees$/Template.html index d8acedfb5..02689e4f5 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Template.html +++ b/api/dotty/tools/dotc/ast/Trees$/Template.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 - Template" diff --git a/api/dotty/tools/dotc/ast/Trees$/TermTree.html b/api/dotty/tools/dotc/ast/Trees$/TermTree.html index 4a081cf9a..93384b240 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TermTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/TermTree.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 - TermTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/Thicket$.html b/api/dotty/tools/dotc/ast/Trees$/Thicket$.html index 50ac8ce6e..334c01437 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Thicket$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Thicket$.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 - Thicket" diff --git a/api/dotty/tools/dotc/ast/Trees$/Thicket.html b/api/dotty/tools/dotc/ast/Trees$/Thicket.html index fc7e37c33..b3addf5fb 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Thicket.html +++ b/api/dotty/tools/dotc/ast/Trees$/Thicket.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 - Thicket" diff --git a/api/dotty/tools/dotc/ast/Trees$/This$.html b/api/dotty/tools/dotc/ast/Trees$/This$.html index eed42cb19..d7ca6e3b9 100644 --- a/api/dotty/tools/dotc/ast/Trees$/This$.html +++ b/api/dotty/tools/dotc/ast/Trees$/This$.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 - This" diff --git a/api/dotty/tools/dotc/ast/Trees$/This.html b/api/dotty/tools/dotc/ast/Trees$/This.html index 4df52c165..311163c26 100644 --- a/api/dotty/tools/dotc/ast/Trees$/This.html +++ b/api/dotty/tools/dotc/ast/Trees$/This.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 - This" diff --git a/api/dotty/tools/dotc/ast/Trees$/Tree.html b/api/dotty/tools/dotc/ast/Trees$/Tree.html index 7deb679b9..405b9e74b 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Tree.html +++ b/api/dotty/tools/dotc/ast/Trees$/Tree.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 - Tree" diff --git a/api/dotty/tools/dotc/ast/Trees$/Try$.html b/api/dotty/tools/dotc/ast/Trees$/Try$.html index af32e429a..e56c93a67 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Try$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Try$.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 - Try" diff --git a/api/dotty/tools/dotc/ast/Trees$/Try.html b/api/dotty/tools/dotc/ast/Trees$/Try.html index 14f8be352..a2de61dda 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Try.html +++ b/api/dotty/tools/dotc/ast/Trees$/Try.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 - Try" diff --git a/api/dotty/tools/dotc/ast/Trees$/TypTree.html b/api/dotty/tools/dotc/ast/Trees$/TypTree.html index c3598c8df..7b1f71e2d 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TypTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/TypTree.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 - TypTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/TypeApply$.html b/api/dotty/tools/dotc/ast/Trees$/TypeApply$.html index d8e3a3cac..570ecb474 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TypeApply$.html +++ b/api/dotty/tools/dotc/ast/Trees$/TypeApply$.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 - TypeApply" diff --git a/api/dotty/tools/dotc/ast/Trees$/TypeApply.html b/api/dotty/tools/dotc/ast/Trees$/TypeApply.html index 23ae0a6d5..72d9a8d9e 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TypeApply.html +++ b/api/dotty/tools/dotc/ast/Trees$/TypeApply.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 - TypeApply" diff --git a/api/dotty/tools/dotc/ast/Trees$/TypeBoundsTree$.html b/api/dotty/tools/dotc/ast/Trees$/TypeBoundsTree$.html index 56c895e0d..b86c76e32 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TypeBoundsTree$.html +++ b/api/dotty/tools/dotc/ast/Trees$/TypeBoundsTree$.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 - TypeBoundsTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/TypeBoundsTree.html b/api/dotty/tools/dotc/ast/Trees$/TypeBoundsTree.html index 2ef64ca76..dafa40a89 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TypeBoundsTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/TypeBoundsTree.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 - TypeBoundsTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/TypeDef$.html b/api/dotty/tools/dotc/ast/Trees$/TypeDef$.html index 48de9e696..8bc975f4c 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TypeDef$.html +++ b/api/dotty/tools/dotc/ast/Trees$/TypeDef$.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 - TypeDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/TypeDef.html b/api/dotty/tools/dotc/ast/Trees$/TypeDef.html index c961f44cf..206b41d20 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TypeDef.html +++ b/api/dotty/tools/dotc/ast/Trees$/TypeDef.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 - TypeDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/TypeTree$.html b/api/dotty/tools/dotc/ast/Trees$/TypeTree$.html index daac29f3b..846b391c7 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TypeTree$.html +++ b/api/dotty/tools/dotc/ast/Trees$/TypeTree$.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 - TypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/TypeTree.html b/api/dotty/tools/dotc/ast/Trees$/TypeTree.html index e6393c961..c8c26208c 100644 --- a/api/dotty/tools/dotc/ast/Trees$/TypeTree.html +++ b/api/dotty/tools/dotc/ast/Trees$/TypeTree.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 - TypeTree" diff --git a/api/dotty/tools/dotc/ast/Trees$/Typed$.html b/api/dotty/tools/dotc/ast/Trees$/Typed$.html index 4d726c4c4..1f56ae6f5 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Typed$.html +++ b/api/dotty/tools/dotc/ast/Trees$/Typed$.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 - Typed" diff --git a/api/dotty/tools/dotc/ast/Trees$/Typed.html b/api/dotty/tools/dotc/ast/Trees$/Typed.html index 613cedc8d..4c5312ca9 100644 --- a/api/dotty/tools/dotc/ast/Trees$/Typed.html +++ b/api/dotty/tools/dotc/ast/Trees$/Typed.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 - Typed" diff --git a/api/dotty/tools/dotc/ast/Trees$/UnApply$.html b/api/dotty/tools/dotc/ast/Trees$/UnApply$.html index 2a5817920..31bdb80bd 100644 --- a/api/dotty/tools/dotc/ast/Trees$/UnApply$.html +++ b/api/dotty/tools/dotc/ast/Trees$/UnApply$.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 - UnApply" diff --git a/api/dotty/tools/dotc/ast/Trees$/UnApply.html b/api/dotty/tools/dotc/ast/Trees$/UnApply.html index 817c9e160..3de390bb4 100644 --- a/api/dotty/tools/dotc/ast/Trees$/UnApply.html +++ b/api/dotty/tools/dotc/ast/Trees$/UnApply.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 - UnApply" diff --git a/api/dotty/tools/dotc/ast/Trees$/UnAssignedTypeException.html b/api/dotty/tools/dotc/ast/Trees$/UnAssignedTypeException.html index c467f0495..54c90ffdf 100644 --- a/api/dotty/tools/dotc/ast/Trees$/UnAssignedTypeException.html +++ b/api/dotty/tools/dotc/ast/Trees$/UnAssignedTypeException.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 - UnAssignedTypeException" diff --git a/api/dotty/tools/dotc/ast/Trees$/ValDef$.html b/api/dotty/tools/dotc/ast/Trees$/ValDef$.html index f5dad5487..635cbf70f 100644 --- a/api/dotty/tools/dotc/ast/Trees$/ValDef$.html +++ b/api/dotty/tools/dotc/ast/Trees$/ValDef$.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 - ValDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/ValDef.html b/api/dotty/tools/dotc/ast/Trees$/ValDef.html index 06a97629e..1b46159e5 100644 --- a/api/dotty/tools/dotc/ast/Trees$/ValDef.html +++ b/api/dotty/tools/dotc/ast/Trees$/ValDef.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 - ValDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/ValOrDefDef.html b/api/dotty/tools/dotc/ast/Trees$/ValOrDefDef.html index e94279565..c603a5255 100644 --- a/api/dotty/tools/dotc/ast/Trees$/ValOrDefDef.html +++ b/api/dotty/tools/dotc/ast/Trees$/ValOrDefDef.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 - ValOrDefDef" diff --git a/api/dotty/tools/dotc/ast/Trees$/WithLazyField.html b/api/dotty/tools/dotc/ast/Trees$/WithLazyField.html index f2e2612cc..3bb3d7236 100644 --- a/api/dotty/tools/dotc/ast/Trees$/WithLazyField.html +++ b/api/dotty/tools/dotc/ast/Trees$/WithLazyField.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 - WithLazyField" diff --git a/api/dotty/tools/dotc/ast/Trees$/WithoutTypeOrPos.html b/api/dotty/tools/dotc/ast/Trees$/WithoutTypeOrPos.html index ab0f0f40b..94dcf089e 100644 --- a/api/dotty/tools/dotc/ast/Trees$/WithoutTypeOrPos.html +++ b/api/dotty/tools/dotc/ast/Trees$/WithoutTypeOrPos.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 - WithoutTypeOrPos" diff --git a/api/dotty/tools/dotc/ast/TypedTreeInfo.html b/api/dotty/tools/dotc/ast/TypedTreeInfo.html index d6691ebaf..a09945012 100644 --- a/api/dotty/tools/dotc/ast/TypedTreeInfo.html +++ b/api/dotty/tools/dotc/ast/TypedTreeInfo.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 - TypedTreeInfo" diff --git a/api/dotty/tools/dotc/ast/TypedTreeInfo/closure$.html b/api/dotty/tools/dotc/ast/TypedTreeInfo/closure$.html index 11f17bc76..d8856e23a 100644 --- a/api/dotty/tools/dotc/ast/TypedTreeInfo/closure$.html +++ b/api/dotty/tools/dotc/ast/TypedTreeInfo/closure$.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 - closure" diff --git a/api/dotty/tools/dotc/ast/UntypedTreeInfo.html b/api/dotty/tools/dotc/ast/UntypedTreeInfo.html index 9baf30c79..7baafe404 100644 --- a/api/dotty/tools/dotc/ast/UntypedTreeInfo.html +++ b/api/dotty/tools/dotc/ast/UntypedTreeInfo.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 - UntypedTreeInfo" diff --git a/api/dotty/tools/dotc/ast/desugar$.html b/api/dotty/tools/dotc/ast/desugar$.html index 1411e7efa..1bdeb596c 100644 --- a/api/dotty/tools/dotc/ast/desugar$.html +++ b/api/dotty/tools/dotc/ast/desugar$.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 - desugar" diff --git a/api/dotty/tools/dotc/ast/desugar$/DerivedFromParamTree.html b/api/dotty/tools/dotc/ast/desugar$/DerivedFromParamTree.html index 2f448cd0c..5d6759b03 100644 --- a/api/dotty/tools/dotc/ast/desugar$/DerivedFromParamTree.html +++ b/api/dotty/tools/dotc/ast/desugar$/DerivedFromParamTree.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 - DerivedFromParamTree" diff --git a/api/dotty/tools/dotc/ast/desugar$/IdPattern$.html b/api/dotty/tools/dotc/ast/desugar$/IdPattern$.html index ac89f5d10..39f3b66bb 100644 --- a/api/dotty/tools/dotc/ast/desugar$/IdPattern$.html +++ b/api/dotty/tools/dotc/ast/desugar$/IdPattern$.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 - IdPattern" diff --git a/api/dotty/tools/dotc/ast/desugar$/IrrefutableGenFrom.html b/api/dotty/tools/dotc/ast/desugar$/IrrefutableGenFrom.html index 50d3f3fd5..2ffd80d8b 100644 --- a/api/dotty/tools/dotc/ast/desugar$/IrrefutableGenFrom.html +++ b/api/dotty/tools/dotc/ast/desugar$/IrrefutableGenFrom.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 - IrrefutableGenFrom" diff --git a/api/dotty/tools/dotc/ast/desugar$/SetterParamTree.html b/api/dotty/tools/dotc/ast/desugar$/SetterParamTree.html index 643780660..d499f9c44 100644 --- a/api/dotty/tools/dotc/ast/desugar$/SetterParamTree.html +++ b/api/dotty/tools/dotc/ast/desugar$/SetterParamTree.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 - SetterParamTree" diff --git a/api/dotty/tools/dotc/ast/desugar$/TypeRefTree.html b/api/dotty/tools/dotc/ast/desugar$/TypeRefTree.html index 3dd536d7d..7e2535b0f 100644 --- a/api/dotty/tools/dotc/ast/desugar$/TypeRefTree.html +++ b/api/dotty/tools/dotc/ast/desugar$/TypeRefTree.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 - TypeRefTree" diff --git a/api/dotty/tools/dotc/ast/index.html b/api/dotty/tools/dotc/ast/index.html index 5e374017e..4b7f2245a 100644 --- a/api/dotty/tools/dotc/ast/index.html +++ b/api/dotty/tools/dotc/ast/index.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 - dotty.tools.dotc.ast" diff --git a/api/dotty/tools/dotc/ast/tpd$.html b/api/dotty/tools/dotc/ast/tpd$.html index c21c0c8c2..04c10793b 100644 --- a/api/dotty/tools/dotc/ast/tpd$.html +++ b/api/dotty/tools/dotc/ast/tpd$.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 - tpd" diff --git a/api/dotty/tools/dotc/ast/tpd$/EnclosingMethodTraverser.html b/api/dotty/tools/dotc/ast/tpd$/EnclosingMethodTraverser.html index f9302aab3..662814116 100644 --- a/api/dotty/tools/dotc/ast/tpd$/EnclosingMethodTraverser.html +++ b/api/dotty/tools/dotc/ast/tpd$/EnclosingMethodTraverser.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 - EnclosingMethodTraverser" diff --git a/api/dotty/tools/dotc/ast/tpd$/FindLocalDummyAccumulator.html b/api/dotty/tools/dotc/ast/tpd$/FindLocalDummyAccumulator.html index 03f27b5ae..f6617ecc1 100644 --- a/api/dotty/tools/dotc/ast/tpd$/FindLocalDummyAccumulator.html +++ b/api/dotty/tools/dotc/ast/tpd$/FindLocalDummyAccumulator.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 - FindLocalDummyAccumulator" diff --git a/api/dotty/tools/dotc/ast/tpd$/ListOfTreeDecorator$.html b/api/dotty/tools/dotc/ast/tpd$/ListOfTreeDecorator$.html index 53f23049d..c84b7d0e6 100644 --- a/api/dotty/tools/dotc/ast/tpd$/ListOfTreeDecorator$.html +++ b/api/dotty/tools/dotc/ast/tpd$/ListOfTreeDecorator$.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 - ListOfTreeDecorator" diff --git a/api/dotty/tools/dotc/ast/tpd$/ListOfTreeDecorator.html b/api/dotty/tools/dotc/ast/tpd$/ListOfTreeDecorator.html index 5c910e52e..3d0d916aa 100644 --- a/api/dotty/tools/dotc/ast/tpd$/ListOfTreeDecorator.html +++ b/api/dotty/tools/dotc/ast/tpd$/ListOfTreeDecorator.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 - ListOfTreeDecorator" diff --git a/api/dotty/tools/dotc/ast/tpd$/MaybePoly$.html b/api/dotty/tools/dotc/ast/tpd$/MaybePoly$.html index 71e82bee5..db42f868a 100644 --- a/api/dotty/tools/dotc/ast/tpd$/MaybePoly$.html +++ b/api/dotty/tools/dotc/ast/tpd$/MaybePoly$.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 - MaybePoly" diff --git a/api/dotty/tools/dotc/ast/tpd$/TreeOps$.html b/api/dotty/tools/dotc/ast/tpd$/TreeOps$.html index 403537213..92a7db780 100644 --- a/api/dotty/tools/dotc/ast/tpd$/TreeOps$.html +++ b/api/dotty/tools/dotc/ast/tpd$/TreeOps$.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 - TreeOps" diff --git a/api/dotty/tools/dotc/ast/tpd$/TreeOps.html b/api/dotty/tools/dotc/ast/tpd$/TreeOps.html index 85b5fcdd6..85557a832 100644 --- a/api/dotty/tools/dotc/ast/tpd$/TreeOps.html +++ b/api/dotty/tools/dotc/ast/tpd$/TreeOps.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 - TreeOps" diff --git a/api/dotty/tools/dotc/ast/tpd$/TypedTreeCopier.html b/api/dotty/tools/dotc/ast/tpd$/TypedTreeCopier.html index 93b1ba30c..2ace9adb6 100644 --- a/api/dotty/tools/dotc/ast/tpd$/TypedTreeCopier.html +++ b/api/dotty/tools/dotc/ast/tpd$/TypedTreeCopier.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 - TypedTreeCopier" diff --git a/api/dotty/tools/dotc/ast/untpd$.html b/api/dotty/tools/dotc/ast/untpd$.html index fe3028861..5af08db22 100644 --- a/api/dotty/tools/dotc/ast/untpd$.html +++ b/api/dotty/tools/dotc/ast/untpd$.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 - untpd" diff --git a/api/dotty/tools/dotc/ast/untpd$/ContextBounds$.html b/api/dotty/tools/dotc/ast/untpd$/ContextBounds$.html index 7a6bc0667..1ece2108f 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ContextBounds$.html +++ b/api/dotty/tools/dotc/ast/untpd$/ContextBounds$.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 - ContextBounds" diff --git a/api/dotty/tools/dotc/ast/untpd$/ContextBounds.html b/api/dotty/tools/dotc/ast/untpd$/ContextBounds.html index 845e9f520..ced460585 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ContextBounds.html +++ b/api/dotty/tools/dotc/ast/untpd$/ContextBounds.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 - ContextBounds" diff --git a/api/dotty/tools/dotc/ast/untpd$/DerivedTypeTree.html b/api/dotty/tools/dotc/ast/untpd$/DerivedTypeTree.html index 14633a692..b78735d3a 100644 --- a/api/dotty/tools/dotc/ast/untpd$/DerivedTypeTree.html +++ b/api/dotty/tools/dotc/ast/untpd$/DerivedTypeTree.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 - DerivedTypeTree" diff --git a/api/dotty/tools/dotc/ast/untpd$/DoWhile$.html b/api/dotty/tools/dotc/ast/untpd$/DoWhile$.html index e69c2ef58..dafafa00c 100644 --- a/api/dotty/tools/dotc/ast/untpd$/DoWhile$.html +++ b/api/dotty/tools/dotc/ast/untpd$/DoWhile$.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 - DoWhile" diff --git a/api/dotty/tools/dotc/ast/untpd$/DoWhile.html b/api/dotty/tools/dotc/ast/untpd$/DoWhile.html index f5e81b2ef..53a7a7a28 100644 --- a/api/dotty/tools/dotc/ast/untpd$/DoWhile.html +++ b/api/dotty/tools/dotc/ast/untpd$/DoWhile.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 - DoWhile" diff --git a/api/dotty/tools/dotc/ast/untpd$/EmptyTypeIdent$.html b/api/dotty/tools/dotc/ast/untpd$/EmptyTypeIdent$.html index dfcbdfc96..dcff21315 100644 --- a/api/dotty/tools/dotc/ast/untpd$/EmptyTypeIdent$.html +++ b/api/dotty/tools/dotc/ast/untpd$/EmptyTypeIdent$.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 - EmptyTypeIdent" diff --git a/api/dotty/tools/dotc/ast/untpd$/ForDo$.html b/api/dotty/tools/dotc/ast/untpd$/ForDo$.html index 5cd5e21a3..f06596db2 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ForDo$.html +++ b/api/dotty/tools/dotc/ast/untpd$/ForDo$.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 - ForDo" diff --git a/api/dotty/tools/dotc/ast/untpd$/ForDo.html b/api/dotty/tools/dotc/ast/untpd$/ForDo.html index 5965fff18..82c17f196 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ForDo.html +++ b/api/dotty/tools/dotc/ast/untpd$/ForDo.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 - ForDo" diff --git a/api/dotty/tools/dotc/ast/untpd$/ForYield$.html b/api/dotty/tools/dotc/ast/untpd$/ForYield$.html index 298145153..40322609a 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ForYield$.html +++ b/api/dotty/tools/dotc/ast/untpd$/ForYield$.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 - ForYield" diff --git a/api/dotty/tools/dotc/ast/untpd$/ForYield.html b/api/dotty/tools/dotc/ast/untpd$/ForYield.html index 7b5663f17..e846ad31d 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ForYield.html +++ b/api/dotty/tools/dotc/ast/untpd$/ForYield.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 - ForYield" diff --git a/api/dotty/tools/dotc/ast/untpd$/Function$.html b/api/dotty/tools/dotc/ast/untpd$/Function$.html index cb42f63aa..9aa2538b6 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Function$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Function$.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 - Function" diff --git a/api/dotty/tools/dotc/ast/untpd$/Function.html b/api/dotty/tools/dotc/ast/untpd$/Function.html index 38ad3a855..476f49687 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Function.html +++ b/api/dotty/tools/dotc/ast/untpd$/Function.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 - Function" diff --git a/api/dotty/tools/dotc/ast/untpd$/GenAlias$.html b/api/dotty/tools/dotc/ast/untpd$/GenAlias$.html index 74f87f5b0..7e7c5ba32 100644 --- a/api/dotty/tools/dotc/ast/untpd$/GenAlias$.html +++ b/api/dotty/tools/dotc/ast/untpd$/GenAlias$.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 - GenAlias" diff --git a/api/dotty/tools/dotc/ast/untpd$/GenAlias.html b/api/dotty/tools/dotc/ast/untpd$/GenAlias.html index ce575c386..60b05a750 100644 --- a/api/dotty/tools/dotc/ast/untpd$/GenAlias.html +++ b/api/dotty/tools/dotc/ast/untpd$/GenAlias.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 - GenAlias" diff --git a/api/dotty/tools/dotc/ast/untpd$/GenFrom$.html b/api/dotty/tools/dotc/ast/untpd$/GenFrom$.html index 8c31e82ff..9378cc11c 100644 --- a/api/dotty/tools/dotc/ast/untpd$/GenFrom$.html +++ b/api/dotty/tools/dotc/ast/untpd$/GenFrom$.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 - GenFrom" diff --git a/api/dotty/tools/dotc/ast/untpd$/GenFrom.html b/api/dotty/tools/dotc/ast/untpd$/GenFrom.html index 5456169fa..fddc5f3ba 100644 --- a/api/dotty/tools/dotc/ast/untpd$/GenFrom.html +++ b/api/dotty/tools/dotc/ast/untpd$/GenFrom.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 - GenFrom" diff --git a/api/dotty/tools/dotc/ast/untpd$/ImplicitFunction.html b/api/dotty/tools/dotc/ast/untpd$/ImplicitFunction.html index 4f92e7181..a4ba2d906 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ImplicitFunction.html +++ b/api/dotty/tools/dotc/ast/untpd$/ImplicitFunction.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 - ImplicitFunction" diff --git a/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html b/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html index 087d9d130..a630d0a70 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/InfixOp$.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 - InfixOp" diff --git a/api/dotty/tools/dotc/ast/untpd$/InfixOp.html b/api/dotty/tools/dotc/ast/untpd$/InfixOp.html index e783bba87..d900ac9ef 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InfixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/InfixOp.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 - InfixOp" diff --git a/api/dotty/tools/dotc/ast/untpd$/InfixOpBlock.html b/api/dotty/tools/dotc/ast/untpd$/InfixOpBlock.html index 816fde5db..28c499d74 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InfixOpBlock.html +++ b/api/dotty/tools/dotc/ast/untpd$/InfixOpBlock.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 - InfixOpBlock" diff --git a/api/dotty/tools/dotc/ast/untpd$/InterpolatedString$.html b/api/dotty/tools/dotc/ast/untpd$/InterpolatedString$.html index 36d9db276..d649e165e 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InterpolatedString$.html +++ b/api/dotty/tools/dotc/ast/untpd$/InterpolatedString$.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 - InterpolatedString" diff --git a/api/dotty/tools/dotc/ast/untpd$/InterpolatedString.html b/api/dotty/tools/dotc/ast/untpd$/InterpolatedString.html index dccc08cde..f2be2642e 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InterpolatedString.html +++ b/api/dotty/tools/dotc/ast/untpd$/InterpolatedString.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 - InterpolatedString" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$.html index 4dd1c4463..a7826d209 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$.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 - Mod" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Abstract$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Abstract$.html index 60dfaee8d..b7c42eeaa 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Abstract$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Abstract$.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 - Abstract" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Abstract.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Abstract.html index 06c953f47..a498c75b7 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Abstract.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Abstract.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 - Abstract" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Final$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Final$.html index 3aa35b49e..2be4e7570 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Final$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Final$.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 - Final" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Final.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Final.html index 0532c25ef..0315f99f6 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Final.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Final.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 - Final" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Implicit$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Implicit$.html index aba6dbdbd..f21c34cd5 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Implicit$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Implicit$.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 - Implicit" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Implicit.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Implicit.html index 0a68da4cd..5f5d3bda8 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Implicit.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Implicit.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 - Implicit" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Inline$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Inline$.html index 951f80f9c..0968c5047 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Inline$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Inline$.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 - Inline" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Inline.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Inline.html index fed71c7a7..de45153b0 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Inline.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Inline.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 - Inline" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Lazy$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Lazy$.html index df1a33c62..afe71b573 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Lazy$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Lazy$.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 - Lazy" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Lazy.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Lazy.html index 7c0e15bac..a06bcdd50 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Lazy.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Lazy.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 - Lazy" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Override$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Override$.html index 9265fab0b..2b793c173 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Override$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Override$.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 - Override" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Override.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Override.html index 234fabfd4..7117722f5 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Override.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Override.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 - Override" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Private$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Private$.html index 4ebaf5730..aca23586d 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Private$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Private$.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 - Private" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Private.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Private.html index 25bf5c41a..67fd8bb05 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Private.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Private.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 - Private" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Protected$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Protected$.html index 7a01c2dba..951b7d73b 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Protected$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Protected$.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 - Protected" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Protected.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Protected.html index 55873306c..22af7e58c 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Protected.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Protected.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 - Protected" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Sealed$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Sealed$.html index 079dc377a..5a45d491d 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Sealed$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Sealed$.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 - Sealed" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Sealed.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Sealed.html index f7b329e8b..6bb85a3ab 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Sealed.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Sealed.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 - Sealed" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Type$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Type$.html index bd4c210e6..ddcf6bd20 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Type$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Type$.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 - Type" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Type.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Type.html index 833f46c22..08e50d072 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Type.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Type.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 - Type" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Val$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Val$.html index 0ce1f02c5..5e437fc99 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Val$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Val$.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 - Val" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Val.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Val.html index bf062e80b..0f110e4e0 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Val.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Val.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 - Val" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Var$.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Var$.html index dd276e001..7ef22fc92 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Var$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Var$.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 - Var" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod$/Var.html b/api/dotty/tools/dotc/ast/untpd$/Mod$/Var.html index 97c4f9b23..31329f9f6 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod$/Var.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod$/Var.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 - Var" diff --git a/api/dotty/tools/dotc/ast/untpd$/Mod.html b/api/dotty/tools/dotc/ast/untpd$/Mod.html index e15bcc035..1d20877eb 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Mod.html +++ b/api/dotty/tools/dotc/ast/untpd$/Mod.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 - Mod" diff --git a/api/dotty/tools/dotc/ast/untpd$/Modifiers$.html b/api/dotty/tools/dotc/ast/untpd$/Modifiers$.html index e3dda8f09..9a56bd214 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Modifiers$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Modifiers$.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 - Modifiers" diff --git a/api/dotty/tools/dotc/ast/untpd$/Modifiers.html b/api/dotty/tools/dotc/ast/untpd$/Modifiers.html index 5211f3d94..e1d26c3f9 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Modifiers.html +++ b/api/dotty/tools/dotc/ast/untpd$/Modifiers.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 - Modifiers" diff --git a/api/dotty/tools/dotc/ast/untpd$/ModsDecorator.html b/api/dotty/tools/dotc/ast/untpd$/ModsDecorator.html index cd199a56c..6d9b2f2f5 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ModsDecorator.html +++ b/api/dotty/tools/dotc/ast/untpd$/ModsDecorator.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 - ModsDecorator" diff --git a/api/dotty/tools/dotc/ast/untpd$/ModuleDef$.html b/api/dotty/tools/dotc/ast/untpd$/ModuleDef$.html index 7fc63f0e4..e4d284284 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ModuleDef$.html +++ b/api/dotty/tools/dotc/ast/untpd$/ModuleDef$.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 - ModuleDef" diff --git a/api/dotty/tools/dotc/ast/untpd$/ModuleDef.html b/api/dotty/tools/dotc/ast/untpd$/ModuleDef.html index e31e37dba..4449461eb 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ModuleDef.html +++ b/api/dotty/tools/dotc/ast/untpd$/ModuleDef.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 - ModuleDef" diff --git a/api/dotty/tools/dotc/ast/untpd$/OpTree.html b/api/dotty/tools/dotc/ast/untpd$/OpTree.html index b863c760c..488fe870a 100644 --- a/api/dotty/tools/dotc/ast/untpd$/OpTree.html +++ b/api/dotty/tools/dotc/ast/untpd$/OpTree.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 - OpTree" diff --git a/api/dotty/tools/dotc/ast/untpd$/Parens$.html b/api/dotty/tools/dotc/ast/untpd$/Parens$.html index f449cd926..2da292792 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Parens$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Parens$.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 - Parens" diff --git a/api/dotty/tools/dotc/ast/untpd$/Parens.html b/api/dotty/tools/dotc/ast/untpd$/Parens.html index 0179819c7..d9ed0b84f 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Parens.html +++ b/api/dotty/tools/dotc/ast/untpd$/Parens.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 - Parens" diff --git a/api/dotty/tools/dotc/ast/untpd$/ParsedTry$.html b/api/dotty/tools/dotc/ast/untpd$/ParsedTry$.html index 9a6cc482e..ae656f6e9 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ParsedTry$.html +++ b/api/dotty/tools/dotc/ast/untpd$/ParsedTry$.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 - ParsedTry" diff --git a/api/dotty/tools/dotc/ast/untpd$/ParsedTry.html b/api/dotty/tools/dotc/ast/untpd$/ParsedTry.html index 393b434bc..de6f99ee4 100644 --- a/api/dotty/tools/dotc/ast/untpd$/ParsedTry.html +++ b/api/dotty/tools/dotc/ast/untpd$/ParsedTry.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 - ParsedTry" diff --git a/api/dotty/tools/dotc/ast/untpd$/PatDef$.html b/api/dotty/tools/dotc/ast/untpd$/PatDef$.html index 0489c7a03..08a298e8a 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PatDef$.html +++ b/api/dotty/tools/dotc/ast/untpd$/PatDef$.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 - PatDef" diff --git a/api/dotty/tools/dotc/ast/untpd$/PatDef.html b/api/dotty/tools/dotc/ast/untpd$/PatDef.html index 54509f6ca..5b1cb5a95 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PatDef.html +++ b/api/dotty/tools/dotc/ast/untpd$/PatDef.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 - PatDef" diff --git a/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html b/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html index 62c586e6d..fc72d3ca5 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.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 - PostfixOp" diff --git a/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html b/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html index b5aec0060..04538d29b 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/PostfixOp.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 - PostfixOp" diff --git a/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html b/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html index 78c933549..0882fcfbe 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.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 - PrefixOp" diff --git a/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html b/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html index 283ff3340..805061c36 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/PrefixOp.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 - PrefixOp" diff --git a/api/dotty/tools/dotc/ast/untpd$/SymbolLit$.html b/api/dotty/tools/dotc/ast/untpd$/SymbolLit$.html index 65a98e9a5..739544215 100644 --- a/api/dotty/tools/dotc/ast/untpd$/SymbolLit$.html +++ b/api/dotty/tools/dotc/ast/untpd$/SymbolLit$.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 - SymbolLit" diff --git a/api/dotty/tools/dotc/ast/untpd$/SymbolLit.html b/api/dotty/tools/dotc/ast/untpd$/SymbolLit.html index be805b314..aaa8b6388 100644 --- a/api/dotty/tools/dotc/ast/untpd$/SymbolLit.html +++ b/api/dotty/tools/dotc/ast/untpd$/SymbolLit.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 - SymbolLit" diff --git a/api/dotty/tools/dotc/ast/untpd$/Throw$.html b/api/dotty/tools/dotc/ast/untpd$/Throw$.html index 011d00b44..43131aae6 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Throw$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Throw$.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 - Throw" diff --git a/api/dotty/tools/dotc/ast/untpd$/Throw.html b/api/dotty/tools/dotc/ast/untpd$/Throw.html index a6b35e2e5..017164f4e 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Throw.html +++ b/api/dotty/tools/dotc/ast/untpd$/Throw.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 - Throw" diff --git a/api/dotty/tools/dotc/ast/untpd$/Tuple$.html b/api/dotty/tools/dotc/ast/untpd$/Tuple$.html index 8d32e1a86..adf909019 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Tuple$.html +++ b/api/dotty/tools/dotc/ast/untpd$/Tuple$.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 - Tuple" diff --git a/api/dotty/tools/dotc/ast/untpd$/Tuple.html b/api/dotty/tools/dotc/ast/untpd$/Tuple.html index 723287b1b..a3d1f35f4 100644 --- a/api/dotty/tools/dotc/ast/untpd$/Tuple.html +++ b/api/dotty/tools/dotc/ast/untpd$/Tuple.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 - Tuple" diff --git a/api/dotty/tools/dotc/ast/untpd$/TypedSplice$.html b/api/dotty/tools/dotc/ast/untpd$/TypedSplice$.html index d1c376f0d..035304718 100644 --- a/api/dotty/tools/dotc/ast/untpd$/TypedSplice$.html +++ b/api/dotty/tools/dotc/ast/untpd$/TypedSplice$.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 - TypedSplice" diff --git a/api/dotty/tools/dotc/ast/untpd$/TypedSplice.html b/api/dotty/tools/dotc/ast/untpd$/TypedSplice.html index 22b48f656..627822f8d 100644 --- a/api/dotty/tools/dotc/ast/untpd$/TypedSplice.html +++ b/api/dotty/tools/dotc/ast/untpd$/TypedSplice.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 - TypedSplice" diff --git a/api/dotty/tools/dotc/ast/untpd$/UntypedDeepFolder.html b/api/dotty/tools/dotc/ast/untpd$/UntypedDeepFolder.html index 63590149d..8b5d2bee2 100644 --- a/api/dotty/tools/dotc/ast/untpd$/UntypedDeepFolder.html +++ b/api/dotty/tools/dotc/ast/untpd$/UntypedDeepFolder.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 - UntypedDeepFolder" diff --git a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeAccumulator.html b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeAccumulator.html index db234df8d..e80f0d6be 100644 --- a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeAccumulator.html +++ b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeAccumulator.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 - UntypedTreeAccumulator" diff --git a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html index 3b36f898f..730aa7084 100644 --- a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html +++ b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.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 - UntypedTreeCopier" diff --git a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeMap$.html b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeMap$.html index 79b6337a1..c34fb38b3 100644 --- a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeMap$.html +++ b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeMap$.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 - UntypedTreeMap" diff --git a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeMap.html b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeMap.html index b3b619b26..012d756a7 100644 --- a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeMap.html +++ b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeMap.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 - UntypedTreeMap" diff --git a/api/dotty/tools/dotc/ast/untpd$/WhileDo$.html b/api/dotty/tools/dotc/ast/untpd$/WhileDo$.html index 692348341..6e3f6bc91 100644 --- a/api/dotty/tools/dotc/ast/untpd$/WhileDo$.html +++ b/api/dotty/tools/dotc/ast/untpd$/WhileDo$.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 - WhileDo" diff --git a/api/dotty/tools/dotc/ast/untpd$/WhileDo.html b/api/dotty/tools/dotc/ast/untpd$/WhileDo.html index f87131da9..7bdeb6fd4 100644 --- a/api/dotty/tools/dotc/ast/untpd$/WhileDo.html +++ b/api/dotty/tools/dotc/ast/untpd$/WhileDo.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 - WhileDo" diff --git a/api/dotty/tools/dotc/ast/untpd$/WildcardFunction.html b/api/dotty/tools/dotc/ast/untpd$/WildcardFunction.html index 7cbcf01ff..a341d7a52 100644 --- a/api/dotty/tools/dotc/ast/untpd$/WildcardFunction.html +++ b/api/dotty/tools/dotc/ast/untpd$/WildcardFunction.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 - WildcardFunction" diff --git a/api/dotty/tools/dotc/ast/untpd$/modsDeco.html b/api/dotty/tools/dotc/ast/untpd$/modsDeco.html index 65dd72248..0a5336df2 100644 --- a/api/dotty/tools/dotc/ast/untpd$/modsDeco.html +++ b/api/dotty/tools/dotc/ast/untpd$/modsDeco.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 - modsDeco" |