feat: docs-integration #2

Merged
simon merged 2 commits from docs-integration into main 2026-10-08 08:41:57 +02:00
Owner
No description provided.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Building blocks for moving the MkDocs site into this one:
- /docs/ as a tree, ls -l per topic, man-page style pages with contents,
  heading anchors, admonitions and copy buttons on code blocks
- code colours follow the active palette (chroma classes)
- man <page>, grep <word> (search index from docs/index.json) and cd into
  topics in the titlebar; the docs tab now stays on the site
- a box-drawing subset of JetBrains Mono, so tree lines render properly
  (also on the skills page)
- scripts/convert-mkdocs.py to move more pages over

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
simon merged commit 74c7a3b64c into main 2026-10-08 08:41:57 +02:00
simon deleted branch docs-integration 2026-10-08 08:41:57 +02:00
simon referenced this pull request from a commit 2026-10-08 08:41:58 +02:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Reference
oci/simoncor-net!2
No description provided.