diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-05-31 18:01:21 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-31 18:01:21 +0000 |
commit | c0b9a616164a40653893100d8d762e88a77f83a5 (patch) | |
tree | 4e09592c4f59e278eb3a9c5f4d8bee6571eb9c62 /doc | |
parent | 800ef5e9b4dd5d655529d2346589269a874bbb91 (diff) | |
parent | fcfad390d0d6eb9ce59ed65b9159215bcd347451 (diff) |
Merge master into staging-next
Diffstat (limited to 'doc')
-rw-r--r-- | doc/style.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index 5bc587a6ee308..f517733be9727 100644 --- a/doc/style.css +++ b/doc/style.css @@ -431,6 +431,11 @@ div.appendix .informaltable td { padding: 0.5rem; } +div.book .variablelist .term, +div.appendix .variablelist .term { + font-weight: 500; +} + /* This relies on highlight.js applying certain classes on the prompts. For more details, see https://highlightjs.readthedocs.io/en/latest/css-classes-reference.html#stylable-scopes |