diff options
Diffstat (limited to 'doc/style.css')
-rw-r--r-- | doc/style.css | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index fddf4f4823c7..5bc587a6ee30 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; @@ -414,3 +430,12 @@ div.appendix .informaltable th, div.appendix .informaltable td { padding: 0.5rem; } + +/* + 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 +*/ +.hljs-meta.prompt_ { + user-select: none; + -webkit-user-select: none; +} |