diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 07:41:39 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 07:41:39 +0000 |
commit | 1c334b12934f39dcc3e20a0d39bb434ddc065918 (patch) | |
tree | 280c4e9592a3a38002e7192f8edf35d2efe68e23 /api/dotty/tools/dotc/reporting | |
parent | 1b450c3ae819a88f9ae983183cda403d5c23dff6 (diff) | |
download | dotty-1c334b12934f39dcc3e20a0d39bb434ddc065918.tar.gz dotty-1c334b12934f39dcc3e20a0d39bb434ddc065918.tar.bz2 dotty-1c334b12934f39dcc3e20a0d39bb434ddc065918.zip |
Update gh-pages site for 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a
Diffstat (limited to 'api/dotty/tools/dotc/reporting')
127 files changed, 889 insertions, 381 deletions
diff --git a/api/dotty/tools/dotc/reporting/ConsoleReporter$.html b/api/dotty/tools/dotc/reporting/ConsoleReporter$.html index faf751c44..093ab7b0d 100644 --- a/api/dotty/tools/dotc/reporting/ConsoleReporter$.html +++ b/api/dotty/tools/dotc/reporting/ConsoleReporter$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ConsoleReporter" diff --git a/api/dotty/tools/dotc/reporting/ConsoleReporter.html b/api/dotty/tools/dotc/reporting/ConsoleReporter.html index 88d3c0da3..d2f42949a 100644 --- a/api/dotty/tools/dotc/reporting/ConsoleReporter.html +++ b/api/dotty/tools/dotc/reporting/ConsoleReporter.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ConsoleReporter" diff --git a/api/dotty/tools/dotc/reporting/HideNonSensicalMessages.html b/api/dotty/tools/dotc/reporting/HideNonSensicalMessages.html index 1452bf0cf..9a5946a45 100644 --- a/api/dotty/tools/dotc/reporting/HideNonSensicalMessages.html +++ b/api/dotty/tools/dotc/reporting/HideNonSensicalMessages.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - HideNonSensicalMessages" diff --git a/api/dotty/tools/dotc/reporting/MessageRendering.html b/api/dotty/tools/dotc/reporting/MessageRendering.html index 434f6be31..81abdcb93 100644 --- a/api/dotty/tools/dotc/reporting/MessageRendering.html +++ b/api/dotty/tools/dotc/reporting/MessageRendering.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MessageRendering" diff --git a/api/dotty/tools/dotc/reporting/Reporter$.html b/api/dotty/tools/dotc/reporting/Reporter$.html index 1fc72cc8b..b567ece01 100644 --- a/api/dotty/tools/dotc/reporting/Reporter$.html +++ b/api/dotty/tools/dotc/reporting/Reporter$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Reporter" diff --git a/api/dotty/tools/dotc/reporting/Reporter.html b/api/dotty/tools/dotc/reporting/Reporter.html index 1a221b8d0..64028d2ac 100644 --- a/api/dotty/tools/dotc/reporting/Reporter.html +++ b/api/dotty/tools/dotc/reporting/Reporter.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Reporter" diff --git a/api/dotty/tools/dotc/reporting/Reporting.html b/api/dotty/tools/dotc/reporting/Reporting.html index 26564f95e..7dae94aeb 100644 --- a/api/dotty/tools/dotc/reporting/Reporting.html +++ b/api/dotty/tools/dotc/reporting/Reporting.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Reporting" diff --git a/api/dotty/tools/dotc/reporting/StoreReporter.html b/api/dotty/tools/dotc/reporting/StoreReporter.html index f46d3fc97..55825ac09 100644 --- a/api/dotty/tools/dotc/reporting/StoreReporter.html +++ b/api/dotty/tools/dotc/reporting/StoreReporter.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - StoreReporter" diff --git a/api/dotty/tools/dotc/reporting/ThrowingReporter.html b/api/dotty/tools/dotc/reporting/ThrowingReporter.html index 1ab4424c2..5c1b1572b 100644 --- a/api/dotty/tools/dotc/reporting/ThrowingReporter.html +++ b/api/dotty/tools/dotc/reporting/ThrowingReporter.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ThrowingReporter" diff --git a/api/dotty/tools/dotc/reporting/UniqueMessagePositions.html b/api/dotty/tools/dotc/reporting/UniqueMessagePositions.html index c2fefcd20..e00fa84c5 100644 --- a/api/dotty/tools/dotc/reporting/UniqueMessagePositions.html +++ b/api/dotty/tools/dotc/reporting/UniqueMessagePositions.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - UniqueMessagePositions" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/ExtendMessage.html b/api/dotty/tools/dotc/reporting/diagnostic/ExtendMessage.html index c3be910b4..a3eb8fc7c 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/ExtendMessage.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/ExtendMessage.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ExtendMessage" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/Message$.html b/api/dotty/tools/dotc/reporting/diagnostic/Message$.html index 26c6cc797..470c3484a 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/Message$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/Message$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Message" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/Message.html b/api/dotty/tools/dotc/reporting/diagnostic/Message.html index b881f77aa..7cef6fb1d 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/Message.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/Message.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Message" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$.html b/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$.html index afae52fa5..4a7e368e8 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MessageContainer" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$/MessageContext$.html b/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$/MessageContext$.html index a263d09b5..64d4d78ea 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$/MessageContext$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$/MessageContext$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MessageContext" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$/MessageContext.html b/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$/MessageContext.html index 1dd8ece02..ab18b0def 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$/MessageContext.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer$/MessageContext.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MessageContext" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer.html b/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer.html index 397f538b3..16cbf02f0 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/MessageContainer.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MessageContainer" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/NoExplanation$.html b/api/dotty/tools/dotc/reporting/diagnostic/NoExplanation$.html index 671245f04..a1d291b9f 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/NoExplanation$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/NoExplanation$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - NoExplanation" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/NoExplanation.html b/api/dotty/tools/dotc/reporting/diagnostic/NoExplanation.html index 08f4e5a7d..f011a7e02 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/NoExplanation.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/NoExplanation.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - NoExplanation" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/index.html b/api/dotty/tools/dotc/reporting/diagnostic/index.html index 5e78b9df1..e8095ea2d 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/index.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/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.reporting.diagnostic" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$.html index 087b5c5d1..d08c250d1 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - messages" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/AnnotatedPrimaryConstructorRequiresModifierOrThis$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/AnnotatedPrimaryConstructorRequiresModifierOrThis$.html index 40f666d06..5c63d9244 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/AnnotatedPrimaryConstructorRequiresModifierOrThis$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/AnnotatedPrimaryConstructorRequiresModifierOrThis$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - AnnotatedPrimaryConstructorRequiresModifierOrThis" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/AnnotatedPrimaryConstructorRequiresModifierOrThis.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/AnnotatedPrimaryConstructorRequiresModifierOrThis.html index be3eadd97..d86051043 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/AnnotatedPrimaryConstructorRequiresModifierOrThis.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/AnnotatedPrimaryConstructorRequiresModifierOrThis.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - AnnotatedPrimaryConstructorRequiresModifierOrThis" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/AuxConstructorNeedsNonImplicitParameter$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/AuxConstructorNeedsNonImplicitParameter$.html index cb9b9846d..88277e165 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/AuxConstructorNeedsNonImplicitParameter$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/AuxConstructorNeedsNonImplicitParameter$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - AuxConstructorNeedsNonImplicitParameter" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/AuxConstructorNeedsNonImplicitParameter.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/AuxConstructorNeedsNonImplicitParameter.html index dc90dacb2..ffc480930 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/AuxConstructorNeedsNonImplicitParameter.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/AuxConstructorNeedsNonImplicitParameter.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - AuxConstructorNeedsNonImplicitParameter" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ByNameParameterNotSupported$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ByNameParameterNotSupported$.html index 4a246a716..5b860fd34 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ByNameParameterNotSupported$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ByNameParameterNotSupported$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ByNameParameterNotSupported" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ByNameParameterNotSupported.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ByNameParameterNotSupported.html index 79a6f3f99..f1995e50d 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ByNameParameterNotSupported.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ByNameParameterNotSupported.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ByNameParameterNotSupported" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CantInstantiateAbstractClassOrTrait$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CantInstantiateAbstractClassOrTrait$.html index a430a1b40..86ebe9122 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CantInstantiateAbstractClassOrTrait$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CantInstantiateAbstractClassOrTrait$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - CantInstantiateAbstractClassOrTrait" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CantInstantiateAbstractClassOrTrait.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CantInstantiateAbstractClassOrTrait.html index 6296d3aba..316573cc4 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CantInstantiateAbstractClassOrTrait.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CantInstantiateAbstractClassOrTrait.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - CantInstantiateAbstractClassOrTrait" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CaseClassMissingParamList$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CaseClassMissingParamList$.html index b728d6ffd..cc1274c50 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CaseClassMissingParamList$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CaseClassMissingParamList$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - CaseClassMissingParamList" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CaseClassMissingParamList.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CaseClassMissingParamList.html index fd7b1c6a1..4dec10f7f 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CaseClassMissingParamList.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CaseClassMissingParamList.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - CaseClassMissingParamList" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ConditionalWarning.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ConditionalWarning.html index 87baf5742..c7b7f454f 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ConditionalWarning.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ConditionalWarning.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ConditionalWarning" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolving$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolving$.html index 2569cffec..68d77f040 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolving$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolving$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - CyclicReferenceInvolving" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolving.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolving.html index c58c33804..d69fc52ee 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolving.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolving.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - CyclicReferenceInvolving" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolvingImplicit$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolvingImplicit$.html index 74fe272f2..ebb57b3c1 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolvingImplicit$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolvingImplicit$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - CyclicReferenceInvolvingImplicit" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolvingImplicit.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolvingImplicit.html index 304795ff2..29a781691 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolvingImplicit.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/CyclicReferenceInvolvingImplicit.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - CyclicReferenceInvolvingImplicit" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DanglingThisInPath$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DanglingThisInPath$.html index 392df62b4..8965c7e3d 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DanglingThisInPath$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DanglingThisInPath$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - DanglingThisInPath" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DanglingThisInPath.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DanglingThisInPath.html index 4d4368cf3..64f7e66bc 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DanglingThisInPath.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DanglingThisInPath.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - DanglingThisInPath" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecatedWithOperator$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecatedWithOperator$.html index faac2c13e..fd36368b7 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecatedWithOperator$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecatedWithOperator$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - DeprecatedWithOperator" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecatedWithOperator.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecatedWithOperator.html index 3ef3c2af0..d38e8a835 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecatedWithOperator.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecatedWithOperator.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - DeprecatedWithOperator" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecationWarning.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecationWarning.html index 81eacd6f4..0aa5d094b 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecationWarning.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DeprecationWarning.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - DeprecationWarning" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DuplicateBind$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DuplicateBind$.html index 1c7054457..d8d3b245a 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DuplicateBind$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DuplicateBind$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - DuplicateBind" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DuplicateBind.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DuplicateBind.html index da970f46c..795f617f4 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/DuplicateBind.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/DuplicateBind.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - DuplicateBind" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EarlyDefinitionsNotSupported$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EarlyDefinitionsNotSupported$.html index c22fde817..6cef00564 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EarlyDefinitionsNotSupported$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EarlyDefinitionsNotSupported$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - EarlyDefinitionsNotSupported" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EarlyDefinitionsNotSupported.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EarlyDefinitionsNotSupported.html index 0b702f5cc..2deff2826 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EarlyDefinitionsNotSupported.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EarlyDefinitionsNotSupported.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - EarlyDefinitionsNotSupported" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchAndFinallyBlock$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchAndFinallyBlock$.html index 8cf45677b..041ea26f2 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchAndFinallyBlock$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchAndFinallyBlock$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - EmptyCatchAndFinallyBlock" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchAndFinallyBlock.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchAndFinallyBlock.html index 3e334b04d..aae4c8ed3 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchAndFinallyBlock.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchAndFinallyBlock.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - EmptyCatchAndFinallyBlock" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchBlock$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchBlock$.html index 98a9b5726..daf7bb220 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchBlock$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchBlock$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - EmptyCatchBlock" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchBlock.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchBlock.html index 5fafbde50..6fd4687a4 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchBlock.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchBlock.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - EmptyCatchBlock" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchOrFinallyBlock.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchOrFinallyBlock.html index cf8d65268..f63b6bdc2 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchOrFinallyBlock.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/EmptyCatchOrFinallyBlock.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - EmptyCatchOrFinallyBlock" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/Error.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/Error.html index dd7710fb7..e0196de79 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/Error.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/Error.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Error" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExistentialTypesNoLongerSupported$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExistentialTypesNoLongerSupported$.html index 8a1874517..32218d1f5 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExistentialTypesNoLongerSupported$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExistentialTypesNoLongerSupported$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ExistentialTypesNoLongerSupported" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExistentialTypesNoLongerSupported.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExistentialTypesNoLongerSupported.html index 347e17354..403e06f19 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExistentialTypesNoLongerSupported.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExistentialTypesNoLongerSupported.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ExistentialTypesNoLongerSupported" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExpectedTokenButFound$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExpectedTokenButFound$.html index a9208c3d9..96c0172e9 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExpectedTokenButFound$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExpectedTokenButFound$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ExpectedTokenButFound" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExpectedTokenButFound.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExpectedTokenButFound.html index 55be92953..ad34b2741 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExpectedTokenButFound.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ExpectedTokenButFound.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ExpectedTokenButFound" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/FeatureWarning.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/FeatureWarning.html index 1d648e4ed..b25cf302a 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/FeatureWarning.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/FeatureWarning.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - FeatureWarning" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ForwardReferenceExtendsOverDefinition$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ForwardReferenceExtendsOverDefinition$.html index edb6abcad..0c90c7bb6 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ForwardReferenceExtendsOverDefinition$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ForwardReferenceExtendsOverDefinition$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ForwardReferenceExtendsOverDefinition" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ForwardReferenceExtendsOverDefinition.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ForwardReferenceExtendsOverDefinition.html index 1280242c2..90a0d0f84 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ForwardReferenceExtendsOverDefinition.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ForwardReferenceExtendsOverDefinition.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ForwardReferenceExtendsOverDefinition" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IdentifierExpected$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IdentifierExpected$.html index f7b696297..d44b503cc 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IdentifierExpected$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IdentifierExpected$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IdentifierExpected" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IdentifierExpected.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IdentifierExpected.html index 3ab454270..fc4a04258 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IdentifierExpected.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IdentifierExpected.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IdentifierExpected" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalLiteral$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalLiteral$.html index 6142446f0..dbf22f1ec 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalLiteral$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalLiteral$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IllegalLiteral" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalLiteral.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalLiteral.html index 9bfc4e800..08a445824 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalLiteral.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalLiteral.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IllegalLiteral" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartOfSimplePattern$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartOfSimplePattern$.html index ada2e9cce..ba0235ddc 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartOfSimplePattern$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartOfSimplePattern$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IllegalStartOfSimplePattern" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartOfSimplePattern.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartOfSimplePattern.html index ecec19621..79c9c1ded 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartOfSimplePattern.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartOfSimplePattern.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IllegalStartOfSimplePattern" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartSimpleExpr$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartSimpleExpr$.html index 539100fca..17e9beefc 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartSimpleExpr$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartSimpleExpr$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IllegalStartSimpleExpr" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartSimpleExpr.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartSimpleExpr.html index 8942cd604..1ab52d94b 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartSimpleExpr.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalStartSimpleExpr.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IllegalStartSimpleExpr" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalVariableInPatternAlternative$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalVariableInPatternAlternative$.html index 3013ef48c..f204b17e9 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalVariableInPatternAlternative$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalVariableInPatternAlternative$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IllegalVariableInPatternAlternative" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalVariableInPatternAlternative.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalVariableInPatternAlternative.html index e87e646b8..cd551bb38 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalVariableInPatternAlternative.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IllegalVariableInPatternAlternative.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IllegalVariableInPatternAlternative" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ImplicitCaseClass$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ImplicitCaseClass$.html index 8c6cede82..40b24f5c1 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ImplicitCaseClass$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ImplicitCaseClass$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ImplicitCaseClass" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ImplicitCaseClass.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ImplicitCaseClass.html index 4aff61f69..553cd7f30 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ImplicitCaseClass.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ImplicitCaseClass.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ImplicitCaseClass" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IncorrectRepeatedParameterSyntax$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IncorrectRepeatedParameterSyntax$.html index 9444035cb..c05deeb9f 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IncorrectRepeatedParameterSyntax$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IncorrectRepeatedParameterSyntax$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IncorrectRepeatedParameterSyntax" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IncorrectRepeatedParameterSyntax.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IncorrectRepeatedParameterSyntax.html index 1c6ebd50a..dcbd254b8 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/IncorrectRepeatedParameterSyntax.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/IncorrectRepeatedParameterSyntax.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - IncorrectRepeatedParameterSyntax" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/Info.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/Info.html index 731d1ddfa..3e28d69b9 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/Info.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/Info.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Info" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/InterpolatedStringError$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/InterpolatedStringError$.html index c09551511..003f9a913 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/InterpolatedStringError$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/InterpolatedStringError$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - InterpolatedStringError" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/InterpolatedStringError.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/InterpolatedStringError.html index 1ba8d4d28..f40d55f3b 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/InterpolatedStringError.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/InterpolatedStringError.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - InterpolatedStringError" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MatchCaseUnreachable$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MatchCaseUnreachable$.html index 02cace782..f34891907 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MatchCaseUnreachable$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MatchCaseUnreachable$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MatchCaseUnreachable" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MatchCaseUnreachable.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MatchCaseUnreachable.html index 9aae3dd26..e507e3afa 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MatchCaseUnreachable.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MatchCaseUnreachable.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MatchCaseUnreachable" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MigrationWarning.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MigrationWarning.html index dcb0690f5..39dad13b4 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MigrationWarning.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MigrationWarning.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MigrationWarning" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingIdent$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingIdent$.html index 17b68011b..67845e45a 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingIdent$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingIdent$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MissingIdent" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingIdent.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingIdent.html index 6005f90b6..bfdb36d97 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingIdent.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingIdent.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MissingIdent" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingReturnType$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingReturnType$.html index b511ef82f..a9d3c3a23 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingReturnType$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingReturnType$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MissingReturnType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingReturnType.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingReturnType.html index aa0677a83..10f5a7a87 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingReturnType.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MissingReturnType.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MissingReturnType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MixedLeftAndRightAssociativeOps$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MixedLeftAndRightAssociativeOps$.html index 8dbbe1136..d658c6818 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MixedLeftAndRightAssociativeOps$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MixedLeftAndRightAssociativeOps$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MixedLeftAndRightAssociativeOps" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MixedLeftAndRightAssociativeOps.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MixedLeftAndRightAssociativeOps.html index 6ba305aaf..201f6329c 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/MixedLeftAndRightAssociativeOps.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/MixedLeftAndRightAssociativeOps.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - MixedLeftAndRightAssociativeOps" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/NotAMember$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/NotAMember$.html index 85c2fa6e8..7bc36e6c7 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/NotAMember$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/NotAMember$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - NotAMember" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/NotAMember.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/NotAMember.html index 2d1f58b18..32b42b1fe 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/NotAMember.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/NotAMember.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - NotAMember" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ObjectMayNotHaveSelfType$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ObjectMayNotHaveSelfType$.html index 1f8969331..be12eeb1a 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ObjectMayNotHaveSelfType$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ObjectMayNotHaveSelfType$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ObjectMayNotHaveSelfType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ObjectMayNotHaveSelfType.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ObjectMayNotHaveSelfType.html index 2f6e62924..cfb0c4367 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ObjectMayNotHaveSelfType.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ObjectMayNotHaveSelfType.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ObjectMayNotHaveSelfType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverloadedOrRecursiveMethodNeedsResultType$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverloadedOrRecursiveMethodNeedsResultType$.html index 36175918a..d076748b4 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverloadedOrRecursiveMethodNeedsResultType$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverloadedOrRecursiveMethodNeedsResultType$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - OverloadedOrRecursiveMethodNeedsResultType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverloadedOrRecursiveMethodNeedsResultType.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverloadedOrRecursiveMethodNeedsResultType.html index 0dc3ec24a..d85fb13bb 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverloadedOrRecursiveMethodNeedsResultType.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverloadedOrRecursiveMethodNeedsResultType.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - OverloadedOrRecursiveMethodNeedsResultType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothing$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothing$.html index f8fbf4cc0..c8a9b655d 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothing$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothing$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - OverridesNothing" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothing.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothing.html index 3328fc0c7..e686c5317 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothing.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothing.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - OverridesNothing" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothingButNameExists$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothingButNameExists$.html index 554e83cda..fbb22ec95 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothingButNameExists$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothingButNameExists$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - OverridesNothingButNameExists" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothingButNameExists.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothingButNameExists.html index 9bf31e407..ce8522079 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothingButNameExists.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/OverridesNothingButNameExists.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - OverridesNothingButNameExists" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/PatternMatchExhaustivity$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/PatternMatchExhaustivity$.html index f7aa774d3..16821bcb1 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/PatternMatchExhaustivity$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/PatternMatchExhaustivity$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - PatternMatchExhaustivity" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/PatternMatchExhaustivity.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/PatternMatchExhaustivity.html index c2b939ef4..0deb7e0c5 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/PatternMatchExhaustivity.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/PatternMatchExhaustivity.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - PatternMatchExhaustivity" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/PkgDuplicateSymbol$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/PkgDuplicateSymbol$.html index 1177f1afe..df0a78190 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/PkgDuplicateSymbol$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/PkgDuplicateSymbol$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - PkgDuplicateSymbol" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/PkgDuplicateSymbol.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/PkgDuplicateSymbol.html index 8c3d6909b..4e6774203 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/PkgDuplicateSymbol.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/PkgDuplicateSymbol.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - PkgDuplicateSymbol" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ProperDefinitionNotFound$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ProperDefinitionNotFound$.html index 49086876d..28e10f393 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ProperDefinitionNotFound$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ProperDefinitionNotFound$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ProperDefinitionNotFound" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ProperDefinitionNotFound.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ProperDefinitionNotFound.html index ff328ca0f..e7cc4279c 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/ProperDefinitionNotFound.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/ProperDefinitionNotFound.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ProperDefinitionNotFound" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/RecursiveValueNeedsResultType$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/RecursiveValueNeedsResultType$.html index db147af5a..7033aa331 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/RecursiveValueNeedsResultType$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/RecursiveValueNeedsResultType$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - RecursiveValueNeedsResultType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/RecursiveValueNeedsResultType.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/RecursiveValueNeedsResultType.html index 930483971..dbce7caf4 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/RecursiveValueNeedsResultType.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/RecursiveValueNeedsResultType.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - RecursiveValueNeedsResultType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/RepeatedModifier$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/RepeatedModifier$.html index a45432b10..d4f34363d 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/RepeatedModifier$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/RepeatedModifier$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - RepeatedModifier" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/RepeatedModifier.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/RepeatedModifier.html index 9f905111f..cfba7d10f 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/RepeatedModifier.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/RepeatedModifier.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - RepeatedModifier" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/SeqWildcardPatternPos$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/SeqWildcardPatternPos$.html index 5f1f2cf42..8533ee3df 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/SeqWildcardPatternPos$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/SeqWildcardPatternPos$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - SeqWildcardPatternPos" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/SeqWildcardPatternPos.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/SeqWildcardPatternPos.html index 2fc6a0bc5..2e16f44ba 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/SeqWildcardPatternPos.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/SeqWildcardPatternPos.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - SeqWildcardPatternPos" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/SuperQualMustBeParent$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/SuperQualMustBeParent$.html index 61791f165..89933f931 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/SuperQualMustBeParent$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/SuperQualMustBeParent$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - SuperQualMustBeParent" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/SuperQualMustBeParent.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/SuperQualMustBeParent.html index 444143380..a6356622e 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/SuperQualMustBeParent.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/SuperQualMustBeParent.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - SuperQualMustBeParent" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TopLevelImplicitClass$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TopLevelImplicitClass$.html index 49ad53b87..5a7ee1e81 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TopLevelImplicitClass$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TopLevelImplicitClass$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - TopLevelImplicitClass" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TopLevelImplicitClass.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TopLevelImplicitClass.html index 8a4277b10..d3378d76f 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TopLevelImplicitClass.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TopLevelImplicitClass.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - TopLevelImplicitClass" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TupleTooLong$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TupleTooLong$.html index 07c95257f..22baa0d3b 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TupleTooLong$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TupleTooLong$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - TupleTooLong" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TupleTooLong.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TupleTooLong.html index 6aa32ca06..703a75d83 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TupleTooLong.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TupleTooLong.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - TupleTooLong" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TypeMismatch$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TypeMismatch$.html index ce1a03fd5..e03349545 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TypeMismatch$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TypeMismatch$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - TypeMismatch" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TypeMismatch.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TypeMismatch.html index 7a9cfbeda..c8e832d86 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/TypeMismatch.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/TypeMismatch.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - TypeMismatch" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundPlaceholderParameter$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundPlaceholderParameter$.html index 49d7944e3..1eace5586 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundPlaceholderParameter$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundPlaceholderParameter$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - UnboundPlaceholderParameter" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundPlaceholderParameter.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundPlaceholderParameter.html index 6769f04b6..eaf04b875 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundPlaceholderParameter.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundPlaceholderParameter.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - UnboundPlaceholderParameter" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundWildcardType$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundWildcardType$.html index 05717bb12..7d5ad6a77 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundWildcardType$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundWildcardType$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - UnboundWildcardType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundWildcardType.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundWildcardType.html index df7d7d86e..942e0f25a 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundWildcardType.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UnboundWildcardType.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - UnboundWildcardType" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UncheckedWarning.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UncheckedWarning.html index 8125d528b..fe66a3b00 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/UncheckedWarning.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/UncheckedWarning.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - UncheckedWarning" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/VarArgsParamMustComeLast$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/VarArgsParamMustComeLast$.html index 4a3fbd642..8db24501b 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/VarArgsParamMustComeLast$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/VarArgsParamMustComeLast$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - VarArgsParamMustComeLast" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/VarArgsParamMustComeLast.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/VarArgsParamMustComeLast.html index f48837e3d..2666ffb81 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/VarArgsParamMustComeLast.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/VarArgsParamMustComeLast.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - VarArgsParamMustComeLast" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/Warning.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/Warning.html index 1ca3671b1..7f17f37be 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/Warning.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/Warning.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Warning" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/WrongNumberOfTypeArgs$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/WrongNumberOfTypeArgs$.html index 20f50d931..bd74a2835 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/WrongNumberOfTypeArgs$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/WrongNumberOfTypeArgs$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - WrongNumberOfTypeArgs" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/WrongNumberOfTypeArgs.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/WrongNumberOfTypeArgs.html index 3444f0506..7516c51df 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/WrongNumberOfTypeArgs.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/WrongNumberOfTypeArgs.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - WrongNumberOfTypeArgs" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/YieldOrDoExpectedInForComprehension$.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/YieldOrDoExpectedInForComprehension$.html index 9483ef7c4..a0f33e6ae 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/YieldOrDoExpectedInForComprehension$.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/YieldOrDoExpectedInForComprehension$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - YieldOrDoExpectedInForComprehension" diff --git a/api/dotty/tools/dotc/reporting/diagnostic/messages$/YieldOrDoExpectedInForComprehension.html b/api/dotty/tools/dotc/reporting/diagnostic/messages$/YieldOrDoExpectedInForComprehension.html index 28d9aef3a..b16ffc94f 100644 --- a/api/dotty/tools/dotc/reporting/diagnostic/messages$/YieldOrDoExpectedInForComprehension.html +++ b/api/dotty/tools/dotc/reporting/diagnostic/messages$/YieldOrDoExpectedInForComprehension.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - YieldOrDoExpectedInForComprehension" diff --git a/api/dotty/tools/dotc/reporting/index.html b/api/dotty/tools/dotc/reporting/index.html index 93e477306..70c68b554 100644 --- a/api/dotty/tools/dotc/reporting/index.html +++ b/api/dotty/tools/dotc/reporting/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.reporting" |