Skip to content

Improve generated docs presentation#389

Merged
pavel-kirienko merged 1 commit into
masterfrom
docs
Jun 23, 2026
Merged

Improve generated docs presentation#389
pavel-kirienko merged 1 commit into
masterfrom
docs

Conversation

@pavel-kirienko

Copy link
Copy Markdown
Member

Summary

  • Split non-theme pdoc overrides into custom.css and use Ubuntu Mono.
  • Link examples to commit-pinned GitHub source views with filename labels.
  • Show generated revision metadata in the pdoc sidebar footer.

Tests

  • Not run per request.

@pavel-kirienko pavel-kirienko merged commit ed3b4fe into master Jun 23, 2026
22 checks passed
@pavel-kirienko pavel-kirienko deleted the docs branch June 23, 2026 12:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant