Pretty docs (ExtraMojo#19)

* theme-aware code blocks * collapsed overload details * word wrap in code blocks, for signatures * word wrap opt-out example * don't publish from PRs
rcghpge · Feb 14, 2025 · 8bb122d · 8bb122d
1 parent 8941c78
commit 8bb122d
Show file tree

Hide file tree

Showing 11 changed files with 973 additions and 4 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -90,7 +90,7 @@ jobs:
           path: docs/site/public
 
       - name: Deploy to GitHub Pages
-          # if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
+        if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
         uses: crazy-max/ghaction-github-pages@v4
         with:
           target_branch: gh-pages

diff --git a/ExtraMojo/cli/parser.mojo b/ExtraMojo/cli/parser.mojo
@@ -1,6 +1,6 @@
 """A very basic CLI Opt Parser.
 
-```mojo
+```mojo {doctest="parser" class="no-wrap"}
 from testing import assert_equal, assert_true
 from ExtraMojo.cli.parser import OptParser, OptConfig, OptKind