Update dependency: web/k-web-theme (#297)

* web/k-web-theme: c5eedac - Support page ToC (#12) * doc: Added page ToC Co-authored-by: Yiyi Wang <[email protected]>
runtimeverification · Jul 15, 2021 · 30729ca · 30729ca
1 parent 6d8ea24
commit 30729ca
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/web/k-web-theme b/web/k-web-theme
diff --git a/web/static_content/html/page_template.html b/web/static_content/html/page_template.html
@@ -11,11 +11,18 @@
       <div class="row flex-xl-nowrap">
         {{include/sidebar.html}}
         <main
-          class="col-12 col-md-9 col-xl-8 py-md-3 pl-md-5 bd-content"
+          class="col-12 col-md-6 col-xl-8 py-md-3 pl-md-5 bd-content"
           role="main"
         >
           <div class="markdown-preview">{{$MARKDOWN_HTML}}</div>
         </main>
+
+        <!-- Page ToC -->
+        <div class="col-12 col-md-3 col-xl-2 py-md-3 bd-sidebar page-toc mb-3">
+          {{$PAGE_TOC_HTML}}
+        </div>
+        <div class="btn btn-rv-blue page-toc-toggle-btn"></div>
+        <!-- End Page ToC -->
       </div>
     </div>
     {{include/footer.html}}
+119 −0		index.js
+76 −0		static_content/assets/js/scripts.js
+9 −0		static_content/assets/sass/_type.scss
+20 −0		static_content/assets/sass/components/_sidebar.scss
+55 −0		static_content/assets/sass/main.scss