Enhance workshop docs views & nav (#1715)

Author: mnkiefer

.github/workflows/deploy-pages.yml

@@ -29,7 +29,7 @@ jobs:
           node-version: '24'
 
       - name: Install dependencies
-        run: npm install --no-save marked github-slugger marked-alert @primer/css reveal.js
+        run: npm install --no-save marked github-slugger marked-alert @primer/css @fontsource-variable/mona-sans
 
       - name: Build HTML
         run: node scripts/build-docs.js