From 1c334b12934f39dcc3e20a0d39bb434ddc065918 Mon Sep 17 00:00:00 2001
From: dotty-bot <felix.mulder@epfl.ch>
Date: Thu, 6 Apr 2017 07:41:39 +0000
Subject: Update gh-pages site for 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a

---
 api/dotty/tools/dotc/core/Symbols$/Symbol.html | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'api/dotty/tools/dotc/core/Symbols$/Symbol.html')

diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html
index e2421972e..2604cba18 100644
--- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html
+++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html
@@ -13,6 +13,7 @@
             integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
             crossorigin="anonymous"
         >
+
         <link
             rel="stylesheet"
             href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
         </ul>
     </div>
     <div id="content-body">
-        <div id="menu-toggle" onclick="toggleMenu()">
-            <i class="fa fa-bars" aria-hidden="true"></i>
-        </div>
+        <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+            <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+            <span class="icon-bar"></span>
+        </button>
         
 <script>
     document.title = "Dotty API - Symbol"
-- 
cgit v1.2.3