doc: add documentation style guide (#8199)

This PR adds a style guide for documentation, including both general
principles and docstring-specific concerns.
This commit is contained in:
David Thrane Christiansen 2025-05-02 15:05:18 +02:00 committed by GitHub
parent 43e8288e3f
commit 7f4f6b3457
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

1146
doc/style.md Normal file

File diff suppressed because it is too large Load diff