Add exception hierarchy to the documentation.

2019-03-12 01:07:47 -04:00
parent e15b4ef8e4
commit 13b23963ec
5 changed files with 85 additions and 3 deletions
--- 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;