docs: Change font and make it dark mode #818

Sign in to view logs

Summary
Jobs
- pre-commit
Run details
- Usage
- Workflow file

Triggered via pull request December 18, 2023 15:06

wolfv

synchronize #576

ruben-arts:misc/change_doc_style

Status Success

Total duration 35s

Artifacts –

pre-commit.yml

on: pull_request