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/Annotations$ | |
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/Annotations$')
12 files changed, 84 insertions, 36 deletions
diff --git a/api/dotty/tools/dotc/core/Annotations$/AnnotInfo$.html b/api/dotty/tools/dotc/core/Annotations$/AnnotInfo$.html index 5c9d0c572..aff598139 100644 --- a/api/dotty/tools/dotc/core/Annotations$/AnnotInfo$.html +++ b/api/dotty/tools/dotc/core/Annotations$/AnnotInfo$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - AnnotInfo" diff --git a/api/dotty/tools/dotc/core/Annotations$/AnnotInfo.html b/api/dotty/tools/dotc/core/Annotations$/AnnotInfo.html index 45c61cc8b..3d7b490fa 100644 --- a/api/dotty/tools/dotc/core/Annotations$/AnnotInfo.html +++ b/api/dotty/tools/dotc/core/Annotations$/AnnotInfo.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - AnnotInfo" diff --git a/api/dotty/tools/dotc/core/Annotations$/Annotation$.html b/api/dotty/tools/dotc/core/Annotations$/Annotation$.html index 1e35b386a..bd5853413 100644 --- a/api/dotty/tools/dotc/core/Annotations$/Annotation$.html +++ b/api/dotty/tools/dotc/core/Annotations$/Annotation$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Annotation" diff --git a/api/dotty/tools/dotc/core/Annotations$/Annotation.html b/api/dotty/tools/dotc/core/Annotations$/Annotation.html index e2e841696..cd8d567a7 100644 --- a/api/dotty/tools/dotc/core/Annotations$/Annotation.html +++ b/api/dotty/tools/dotc/core/Annotations$/Annotation.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - Annotation" diff --git a/api/dotty/tools/dotc/core/Annotations$/BodyAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/BodyAnnotation.html index c7067c32b..d1e273570 100644 --- a/api/dotty/tools/dotc/core/Annotations$/BodyAnnotation.html +++ b/api/dotty/tools/dotc/core/Annotations$/BodyAnnotation.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - BodyAnnotation" diff --git a/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation$.html b/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation$.html index 60484fb1f..ba60ac9db 100644 --- a/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation$.html +++ b/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ConcreteAnnotation" diff --git a/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation.html index c12c70b5e..7c66787ea 100644 --- a/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation.html +++ b/api/dotty/tools/dotc/core/Annotations$/ConcreteAnnotation.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ConcreteAnnotation" diff --git a/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation$.html b/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation$.html index ca2b59639..15ed09fa9 100644 --- a/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation$.html +++ b/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ConcreteBodyAnnotation" diff --git a/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation.html index a7b6c4c25..0c4713c09 100644 --- a/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation.html +++ b/api/dotty/tools/dotc/core/Annotations$/ConcreteBodyAnnotation.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - ConcreteBodyAnnotation" diff --git a/api/dotty/tools/dotc/core/Annotations$/LazyAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/LazyAnnotation.html index 547de76d6..58baee505 100644 --- a/api/dotty/tools/dotc/core/Annotations$/LazyAnnotation.html +++ b/api/dotty/tools/dotc/core/Annotations$/LazyAnnotation.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - LazyAnnotation" diff --git a/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation$.html b/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation$.html index 28078406c..7ef7aeac9 100644 --- a/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation$.html +++ b/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation$.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - LazyBodyAnnotation" diff --git a/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation.html b/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation.html index 34201fb50..b4fa6bf2a 100644 --- a/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation.html +++ b/api/dotty/tools/dotc/core/Annotations$/LazyBodyAnnotation.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" @@ -5401,9 +5402,12 @@ </ul> </div> <div id="content-body"> - <div id="menu-toggle" onclick="toggleMenu()"> - <i class="fa fa-bars" aria-hidden="true"></i> - </div> + <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false"> + <span class="sr-only" aria-hidden="true">Toggle navigation</span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + <span class="icon-bar"></span> + </button> <script> document.title = "Dotty API - LazyBodyAnnotation" |