diff options
Diffstat (limited to 'ref/api/errors.html')
| -rw-r--r-- | ref/api/errors.html | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/ref/api/errors.html b/ref/api/errors.html index 1264be3b..de9eab7d 100644 --- a/ref/api/errors.html +++ b/ref/api/errors.html @@ -31,15 +31,17 @@ <!-- Custom theme stylesheets --> <link rel="stylesheet" href="../theme/pagetoc.css"> - </head> - <body> - <div id="body-container"> + <!-- Provide site root to javascript --> <script> var path_to_root = "../"; var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light"; </script> - + <!-- Start loading toc.js asap --> + <script src="../toc.js"></script> + </head> + <body> + <div id="body-container"> <!-- Work around some values being stored in localStorage wrapped in quotes --> <script> try { @@ -86,7 +88,7 @@ <nav id="sidebar" class="sidebar" aria-label="Table of contents"> <!-- populated by js --> - <div class="sidebar-scrollbox"></div> + <mdbook-sidebar-scrollbox class="sidebar-scrollbox"></mdbook-sidebar-scrollbox> <noscript> <iframe class="sidebar-iframe-outer" src="../toc.html"></iframe> </noscript> @@ -95,8 +97,6 @@ </div> </nav> - <script async src="../toc.js"></script> - <div id="page-wrapper" class="page-wrapper"> <div class="page"> |