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/Phases$ | |
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/Phases$')
9 files changed, 63 insertions, 27 deletions
diff --git a/api/dotty/tools/dotc/core/Phases$/NeedsCompanions.html b/api/dotty/tools/dotc/core/Phases$/NeedsCompanions.html index d2f5b0362..92622c209 100644 --- a/api/dotty/tools/dotc/core/Phases$/NeedsCompanions.html +++ b/api/dotty/tools/dotc/core/Phases$/NeedsCompanions.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - NeedsCompanions" diff --git a/api/dotty/tools/dotc/core/Phases$/Phase.html b/api/dotty/tools/dotc/core/Phases$/Phase.html index baa68711f..8ebd40d4a 100644 --- a/api/dotty/tools/dotc/core/Phases$/Phase.html +++ b/api/dotty/tools/dotc/core/Phases$/Phase.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Phase" diff --git a/api/dotty/tools/dotc/core/Phases$/PhasesBase.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase.html index bcc64503f..85c6678a5 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - PhasesBase" diff --git a/api/dotty/tools/dotc/core/Phases$/PhasesBase/NoPhase$.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase/NoPhase$.html index 9af72823a..c3a66450d 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase/NoPhase$.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase/NoPhase$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - NoPhase" diff --git a/api/dotty/tools/dotc/core/Phases$/PhasesBase/PhaseCache.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase/PhaseCache.html index 13e58f943..bef4316f2 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase/PhaseCache.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase/PhaseCache.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - PhaseCache" diff --git a/api/dotty/tools/dotc/core/Phases$/PhasesBase/SomePhase$.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase/SomePhase$.html index 38a6b408e..a689c96cf 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase/SomePhase$.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase/SomePhase$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - SomePhase" diff --git a/api/dotty/tools/dotc/core/Phases$/PhasesBase/TerminalPhase.html b/api/dotty/tools/dotc/core/Phases$/PhasesBase/TerminalPhase.html index 2fd2d3969..9bf57390a 100644 --- a/api/dotty/tools/dotc/core/Phases$/PhasesBase/TerminalPhase.html +++ b/api/dotty/tools/dotc/core/Phases$/PhasesBase/TerminalPhase.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - TerminalPhase" diff --git a/api/dotty/tools/dotc/core/Phases$/getClassDeco$.html b/api/dotty/tools/dotc/core/Phases$/getClassDeco$.html index e8673fc43..e29f78465 100644 --- a/api/dotty/tools/dotc/core/Phases$/getClassDeco$.html +++ b/api/dotty/tools/dotc/core/Phases$/getClassDeco$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - getClassDeco" diff --git a/api/dotty/tools/dotc/core/Phases$/getClassDeco.html b/api/dotty/tools/dotc/core/Phases$/getClassDeco.html index 924073ef4..29a2e8e78 100644 --- a/api/dotty/tools/dotc/core/Phases$/getClassDeco.html +++ b/api/dotty/tools/dotc/core/Phases$/getClassDeco.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - getClassDeco" |