docs: fix header font (#12193)

This commit is contained in:
Marcin Tojek 2024-02-16 14:32:45 +01:00 committed by GitHub
parent 799d71f6b2
commit 0e1bad4f82
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -8,7 +8,7 @@ The resource with the lower `order` is presented before the one with greater
value. A missing `order` property defaults to 0. If two resources have the same
`order` property, the resources will be ordered by property `name` (or `key`).
## Using `order` property
## Using "order" property
### Coder parameters