diff options
Diffstat (limited to 'docs/internals/type-system.html')
-rw-r--r-- | docs/internals/type-system.html | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/docs/internals/type-system.html b/docs/internals/type-system.html index 9be731c89..e12167949 100644 --- a/docs/internals/type-system.html +++ b/docs/internals/type-system.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" @@ -5396,9 +5397,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> <h1 id="doc-page-title">Type System</h1> <div id="doc-page-container"> |