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/core/StdNames$ | |
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/core/StdNames$')
10 files changed, 70 insertions, 30 deletions
diff --git a/api/dotty/tools/dotc/core/StdNames$/DefinedNames.html b/api/dotty/tools/dotc/core/StdNames$/DefinedNames.html index 5b821f7b0..469b392b5 100644 --- a/api/dotty/tools/dotc/core/StdNames$/DefinedNames.html +++ b/api/dotty/tools/dotc/core/StdNames$/DefinedNames.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - DefinedNames" diff --git a/api/dotty/tools/dotc/core/StdNames$/JavaNames.html b/api/dotty/tools/dotc/core/StdNames$/JavaNames.html index f250c3989..f6060e248 100644 --- a/api/dotty/tools/dotc/core/StdNames$/JavaNames.html +++ b/api/dotty/tools/dotc/core/StdNames$/JavaNames.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - JavaNames" diff --git a/api/dotty/tools/dotc/core/StdNames$/JavaTermNames.html b/api/dotty/tools/dotc/core/StdNames$/JavaTermNames.html index 533d1c80d..45231c40b 100644 --- a/api/dotty/tools/dotc/core/StdNames$/JavaTermNames.html +++ b/api/dotty/tools/dotc/core/StdNames$/JavaTermNames.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - JavaTermNames" diff --git a/api/dotty/tools/dotc/core/StdNames$/JavaTypeNames.html b/api/dotty/tools/dotc/core/StdNames$/JavaTypeNames.html index 8512d8a72..7e0655a2b 100644 --- a/api/dotty/tools/dotc/core/StdNames$/JavaTypeNames.html +++ b/api/dotty/tools/dotc/core/StdNames$/JavaTypeNames.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - JavaTypeNames" diff --git a/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html b/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html index 818eaff3b..76373b1b8 100644 --- a/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html +++ b/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ScalaNames" diff --git a/api/dotty/tools/dotc/core/StdNames$/ScalaNames/raw$.html b/api/dotty/tools/dotc/core/StdNames$/ScalaNames/raw$.html index c3258e248..9b9467d9d 100644 --- a/api/dotty/tools/dotc/core/StdNames$/ScalaNames/raw$.html +++ b/api/dotty/tools/dotc/core/StdNames$/ScalaNames/raw$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - raw" diff --git a/api/dotty/tools/dotc/core/StdNames$/ScalaNames/specializedTypeNames$.html b/api/dotty/tools/dotc/core/StdNames$/ScalaNames/specializedTypeNames$.html index 49d781667..ab79982b3 100644 --- a/api/dotty/tools/dotc/core/StdNames$/ScalaNames/specializedTypeNames$.html +++ b/api/dotty/tools/dotc/core/StdNames$/ScalaNames/specializedTypeNames$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - specializedTypeNames" diff --git a/api/dotty/tools/dotc/core/StdNames$/ScalaTermNames.html b/api/dotty/tools/dotc/core/StdNames$/ScalaTermNames.html index 5c2dc3e3e..6443dbdb7 100644 --- a/api/dotty/tools/dotc/core/StdNames$/ScalaTermNames.html +++ b/api/dotty/tools/dotc/core/StdNames$/ScalaTermNames.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ScalaTermNames" diff --git a/api/dotty/tools/dotc/core/StdNames$/ScalaTermNames/primitive$.html b/api/dotty/tools/dotc/core/StdNames$/ScalaTermNames/primitive$.html index 4fe39ceb3..60b706c0b 100644 --- a/api/dotty/tools/dotc/core/StdNames$/ScalaTermNames/primitive$.html +++ b/api/dotty/tools/dotc/core/StdNames$/ScalaTermNames/primitive$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - primitive" diff --git a/api/dotty/tools/dotc/core/StdNames$/ScalaTypeNames.html b/api/dotty/tools/dotc/core/StdNames$/ScalaTypeNames.html index 092ad45c8..d6fbea9f4 100644 --- a/api/dotty/tools/dotc/core/StdNames$/ScalaTypeNames.html +++ b/api/dotty/tools/dotc/core/StdNames$/ScalaTypeNames.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ScalaTypeNames" |