11<!DOCTYPE html>
22< html lang ="en ">
3- < head >
4- < meta charset ="UTF-8 ">
5- < meta name ="viewport " content ="width=device-width, initial-scale=1.0 ">
6- < title > {{title}}</ title >
7- < link rel ="preconnect " href ="https://fonts.googleapis.com ">
8- < link rel ="preconnect " href ="https://fonts.gstatic.com " crossorigin >
9- < link href ="https://fonts.googleapis.com/css2?family=Inter:ital,opsz,wght@0,14..32,300..700;1,14..32,300..700&display=swap " rel ="stylesheet ">
10- {{stylesheets}}{{meta}}
11- </ head >
12- < body data-layout ="docs ">
13- {{header}}< button class ="nav-toggle " aria-label ="Toggle navigation "> ☰</ button >
14- < div class ="nav-backdrop "> </ div >
15- {{nav}}
16- < article class ="markdown-body ">
17- {{toc}}
18- {{content}}
19- </ article >
20- {{footer}}< script >
21- ( function ( ) {
22- var btn = document . querySelector ( '.nav-toggle' ) ;
23- var bd = document . querySelector ( '.nav-backdrop' ) ;
24- function toggle ( ) {
25- document . body . classList . toggle ( 'nav-open' ) ;
26- btn . setAttribute ( 'aria-expanded' , document . body . classList . contains ( 'nav-open' ) ) ;
27- }
28- function close ( ) {
29- document . body . classList . remove ( 'nav-open' ) ;
30- btn . setAttribute ( 'aria-expanded' , 'false' ) ;
31- }
32- if ( btn ) btn . addEventListener ( 'click' , toggle ) ;
33- if ( bd ) bd . addEventListener ( 'click' , close ) ;
34- document . addEventListener ( 'keydown' , function ( e ) { if ( e . key === 'Escape' ) close ( ) ; } ) ;
35- } ) ( ) ;
36- </ script >
37- </ body >
38- </ html >
3+
4+ < head >
5+ < meta charset ="UTF-8 ">
6+ < meta name ="viewport " content ="width=device-width, initial-scale=1.0 ">
7+ < title > {{title}}</ title >
8+ < link rel ="preconnect " href ="https://fonts.googleapis.com ">
9+ < link rel ="preconnect " href ="https://fonts.gstatic.com " crossorigin >
10+ < link href ="https://fonts.googleapis.com/css2?family=Inter:ital,opsz,wght@0,14..32,300..700;1,14..32,300..700&display=swap " rel ="stylesheet ">
11+ {{stylesheets}}{{meta}}
12+ < script defer src ="https://analytics.appsoftware.com/telemetry.js " data-website-id ="ba08880a-7a82-45b8-b989-fda6b88b6b3c "> </ script >
13+ </ head >
14+
15+ < body data-layout ="docs ">
16+ {{header}}< button class ="nav-toggle " aria-label ="Toggle navigation "> ☰</ button >
17+ < div class ="nav-backdrop "> </ div >
18+ {{nav}}
19+ < article class ="markdown-body ">
20+ {{toc}}
21+ {{content}}
22+ </ article >
23+ {{footer}}
24+ < script >
25+ ( function ( ) {
26+ var btn = document . querySelector ( '.nav-toggle' ) ;
27+ var bd = document . querySelector ( '.nav-backdrop' ) ;
28+ function toggle ( ) {
29+ document . body . classList . toggle ( 'nav-open' ) ;
30+ btn . setAttribute ( 'aria-expanded' , document . body . classList . contains ( 'nav-open' ) ) ;
31+ }
32+ function close ( ) {
33+ document . body . classList . remove ( 'nav-open' ) ;
34+ btn . setAttribute ( 'aria-expanded' , 'false' ) ;
35+ }
36+ if ( btn ) btn . addEventListener ( 'click' , toggle ) ;
37+ if ( bd ) bd . addEventListener ( 'click' , close ) ;
38+ document . addEventListener ( 'keydown' , function ( e ) { if ( e . key === 'Escape' ) close ( ) ; } ) ;
39+ } ) ( ) ;
40+ </ script >
41+ </ body >
42+
43+ </ html >
0 commit comments