diff options
author | johannst <johannst@users.noreply.github.com> | 2023-04-12 20:57:45 +0000 |
---|---|---|
committer | johannst <johannst@users.noreply.github.com> | 2023-04-12 20:57:45 +0000 |
commit | 4b3a334cf553b9f0b7f831538cb4d23fbdb0594f (patch) | |
tree | 3a8e4df94497b437656454bc29e522b56f9765cb /trace_profile | |
parent | 3f1d25c3e62f91f2555f0649c7c71f3b730717be (diff) | |
download | notes-4b3a334cf553b9f0b7f831538cb4d23fbdb0594f.tar.gz notes-4b3a334cf553b9f0b7f831538cb4d23fbdb0594f.zip |
deploy: d6deac54dd372c946942637636846893694ce521
Diffstat (limited to 'trace_profile')
-rw-r--r-- | trace_profile/index.html | 6 | ||||
-rw-r--r-- | trace_profile/ltrace.html | 6 | ||||
-rw-r--r-- | trace_profile/oprofile.html | 6 | ||||
-rw-r--r-- | trace_profile/perf.html | 6 | ||||
-rw-r--r-- | trace_profile/strace.html | 6 | ||||
-rw-r--r-- | trace_profile/time.html | 6 |
6 files changed, 30 insertions, 6 deletions
diff --git a/trace_profile/index.html b/trace_profile/index.html index c771305..86daa45 100644 --- a/trace_profile/index.html +++ b/trace_profile/index.html @@ -32,6 +32,7 @@ </head> <body> + <div id="body-container"> <!-- Provide site root to javascript --> <script> var path_to_root = "../"; @@ -69,10 +70,12 @@ <!-- Hide / unhide sidebar before it is displayed --> <script> var html = document.querySelector('html'); - var sidebar = 'hidden'; + var sidebar = null; if (document.body.clientWidth >= 1080) { try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { } sidebar = sidebar || 'visible'; + } else { + sidebar = 'hidden'; } html.classList.remove('sidebar-visible'); html.classList.add("sidebar-" + sidebar); @@ -201,5 +204,6 @@ <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/trace_profile/ltrace.html b/trace_profile/ltrace.html index 273771b..e7b1695 100644 --- a/trace_profile/ltrace.html +++ b/trace_profile/ltrace.html @@ -32,6 +32,7 @@ </head> <body> + <div id="body-container"> <!-- Provide site root to javascript --> <script> var path_to_root = "../"; @@ -69,10 +70,12 @@ <!-- Hide / unhide sidebar before it is displayed --> <script> var html = document.querySelector('html'); - var sidebar = 'hidden'; + var sidebar = null; if (document.body.clientWidth >= 1080) { try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { } sidebar = sidebar || 'visible'; + } else { + sidebar = 'hidden'; } html.classList.remove('sidebar-visible'); html.classList.add("sidebar-" + sidebar); @@ -205,5 +208,6 @@ <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/trace_profile/oprofile.html b/trace_profile/oprofile.html index c97e7aa..13909a5 100644 --- a/trace_profile/oprofile.html +++ b/trace_profile/oprofile.html @@ -32,6 +32,7 @@ </head> <body> + <div id="body-container"> <!-- Provide site root to javascript --> <script> var path_to_root = "../"; @@ -69,10 +70,12 @@ <!-- Hide / unhide sidebar before it is displayed --> <script> var html = document.querySelector('html'); - var sidebar = 'hidden'; + var sidebar = null; if (document.body.clientWidth >= 1080) { try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { } sidebar = sidebar || 'visible'; + } else { + sidebar = 'hidden'; } html.classList.remove('sidebar-visible'); html.classList.add("sidebar-" + sidebar); @@ -205,5 +208,6 @@ ophelp show supported hw/sw events <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/trace_profile/perf.html b/trace_profile/perf.html index c0af88b..e9f735d 100644 --- a/trace_profile/perf.html +++ b/trace_profile/perf.html @@ -32,6 +32,7 @@ </head> <body> + <div id="body-container"> <!-- Provide site root to javascript --> <script> var path_to_root = "../"; @@ -69,10 +70,12 @@ <!-- Hide / unhide sidebar before it is displayed --> <script> var html = document.querySelector('html'); - var sidebar = 'hidden'; + var sidebar = null; if (document.body.clientWidth >= 1080) { try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { } sidebar = sidebar || 'visible'; + } else { + sidebar = 'hidden'; } html.classList.remove('sidebar-visible'); html.classList.add("sidebar-" + sidebar); @@ -239,5 +242,6 @@ perf script --per-event-dump <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/trace_profile/strace.html b/trace_profile/strace.html index 5a37a54..bfceb82 100644 --- a/trace_profile/strace.html +++ b/trace_profile/strace.html @@ -32,6 +32,7 @@ </head> <body> + <div id="body-container"> <!-- Provide site root to javascript --> <script> var path_to_root = "../"; @@ -69,10 +70,12 @@ <!-- Hide / unhide sidebar before it is displayed --> <script> var html = document.querySelector('html'); - var sidebar = 'hidden'; + var sidebar = null; if (document.body.clientWidth >= 1080) { try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { } sidebar = sidebar || 'visible'; + } else { + sidebar = 'hidden'; } html.classList.remove('sidebar-visible'); html.classList.add("sidebar-" + sidebar); @@ -221,5 +224,6 @@ <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/trace_profile/time.html b/trace_profile/time.html index 3e340bb..51e54e7 100644 --- a/trace_profile/time.html +++ b/trace_profile/time.html @@ -32,6 +32,7 @@ </head> <body> + <div id="body-container"> <!-- Provide site root to javascript --> <script> var path_to_root = "../"; @@ -69,10 +70,12 @@ <!-- Hide / unhide sidebar before it is displayed --> <script> var html = document.querySelector('html'); - var sidebar = 'hidden'; + var sidebar = null; if (document.body.clientWidth >= 1080) { try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { } sidebar = sidebar || 'visible'; + } else { + sidebar = 'hidden'; } html.classList.remove('sidebar-visible'); html.classList.add("sidebar-" + sidebar); @@ -197,5 +200,6 @@ <!-- Custom JS scripts --> + </div> </body> </html> |