doc: modernize site + dark theme #3859

Closed

Labels

Milestone

opened

on Feb 25, 2026

remove the default ascii doctor theme
add dark theme
use atom-one-dark as highlight

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

4.0.16

Relationships

None yet

Development

No branches or pull requests