diff options
Diffstat (limited to 'doc/style.css')
-rw-r--r-- | doc/style.css | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index fddf4f4823c7..38984169589f 100644 --- a/doc/style.css +++ b/doc/style.css @@ -347,6 +347,22 @@ div.appendix div.example { margin-top: 1.5em; } +div.book div.example details, +div.appendix div.example details { + padding: 5px; +} + +div.book div.example details[open], +div.appendix div.example details[open] { + border: 1px solid #aaa; + border-radius: 4px; +} + +div.book div.example details>summary, +div.appendix div.example details>summary { + cursor: pointer; +} + div.book br.example-break, div.appendix br.example-break { display: none; |