trying label?

docs/_config.yml

@@ -6,6 +6,7 @@ description: >
   Synthesize quasi-delay insensitive circuits.
 
 remote_theme: sighingnow/jekyll-gitbook
+extra_css: extra.css
 
 toc:
   enabled: true
@@ -34,20 +35,20 @@ permalink:                /:categories/:title:output_ext
 
 collections:
   lang:
+		label: Languages
     output: true
-    sort_by: order
     permalink: /:collection/:title:output_ext
   comp:
+		label: Compilation
     output: true
-    sort_by: order
     permalink: /:collection/:title:output_ext
   sim:
+		label: Simulation
     output: true
-    sort_by: order
     permalink: /:collection/:title:output_ext
   vis:
+		label: Visualization
     output: true
-    sort_by: order
     permalink: /:collection/:title:output_ext
 
 ordered_collections:

docs/_lang/01_lang.md

@@ -1,10 +1,9 @@
 ---
-title: <b>Languages</b>
+title: Languages
 author: Edward Bingham
 date: 2024-09-24
 category: Language
 layout: post
-order: 1
 ---
 
 Loom supports multiple different languages for different stages of the synthesis.

docs/_lang/02_chp.md

@@ -4,7 +4,6 @@ author: Edward Bingham
 date: 2024-09-24
 category: Language
 layout: post
-order: 2
 ---
 
 **Communicating Hardware Processes (CHP)** is a program notation for QDI

docs/_lang/03_hse.md

@@ -4,7 +4,6 @@ author: Edward Bingham
 date: 2024-09-24
 category: Language
 layout: post
-order: 3
 ---
 
 **Hand Shaking Expansions (HSE)** are a subset of CHP in which channel

docs/_lang/04_prs.md

@@ -4,7 +4,6 @@ author: Edward Bingham
 date: 2024-09-24
 category: Language
 layout: post
-order: 4
 ---
 
 A production rule specifies either the pull-up or pull-down network of a gate