Language sidebar header

trilitech · Jan 31, 2024 · 22715b9 · 22715b9
1 parent 26765ce
commit 22715b9
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 0 deletions.
diff --git a/src/css/custom.css b/src/css/custom.css
@@ -211,3 +211,13 @@ article a[target="_blank"]:after {
   content: url("/img/external_link.svg");
   padding-left: 5px;
 }
+
+/* Language sidebar header */
+.sidebar-header {
+  font-family: 'GT Eesti Display', sans-serif;
+  font-weight: bold;
+  font-size: 16px;
+  line-height: 26px;
+  color: #4A4E52;
+  padding: var(--ifm-menu-link-padding-vertical) var(--ifm-menu-link-padding-horizontal);
+}
diff --git a/src/sidebars/ligoSidebar.js b/src/sidebars/ligoSidebar.js
@@ -1,6 +1,11 @@
 /** @type {import('@docusaurus/plugin-content-docs').SidebarsConfig} */
 
 const ligoSidebar = [
+  {
+    type: 'html',
+    value: '<div class="sidebar-header">LIGO language reference</div>',
+    className: 'menu__list-item',
+  },
   {
     type: 'ref',
     id: 'languages',

diff --git a/src/sidebars/smartpySidebar.js b/src/sidebars/smartpySidebar.js
@@ -1,6 +1,11 @@
 /** @type {import('@docusaurus/plugin-content-docs').SidebarsConfig} */
 
 const smartpySidebar = [
+  {
+    type: 'html',
+    value: '<div class="sidebar-header">SmartPy language reference</div>',
+    className: 'menu__list-item',
+  },
   {
     type: 'ref',
     id: 'languages',