diff options
Diffstat (limited to 'docs/_static/style.css')
| -rw-r--r-- | docs/_static/style.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/docs/_static/style.css b/docs/_static/style.css index 6073b370..81166de4 100644 --- a/docs/_static/style.css +++ b/docs/_static/style.css @@ -322,6 +322,21 @@ div.helpful > p.admonition-title:after { content: unset; } +/* exception hierarchy */ + +.exception-hierarchy-content dd, +.exception-hierarchy-content dl { + margin: 0px 2px; +} + +.exception-hierarchy-content { + margin-left: 0.5em; +} + +.exception-hierarchy-content ul { + list-style: 'ยป' !important; +} + pre { background-color: #f5f5f5; border: 1px solid #C6C9CB; |