diff options
| author | Zhanna Tsitkov <tsitkova@mit.edu> | 2012-06-01 13:19:29 -0400 |
|---|---|---|
| committer | Zhanna Tsitkov <tsitkova@mit.edu> | 2012-06-01 13:19:29 -0400 |
| commit | 5befd068e13d671490e6b0ac868d1cd23ffa9496 (patch) | |
| tree | c86ae8a56b153c85614a7302e4c6a8ea5fff918b /doc/rst_source/_static | |
| parent | 627ed34ba368fe989b7498bddf9d9dae40d76135 (diff) | |
Sphinx HTML: Collapse l4 in ToC in the sidebar
Also,
- resize the width of the document vs sidebar;
- decrease padding in the sidebar;
- mark current l2 in ToC in the sidebar.
Diffstat (limited to 'doc/rst_source/_static')
| -rw-r--r-- | doc/rst_source/_static/kerb.css | 36 |
1 files changed, 27 insertions, 9 deletions
diff --git a/doc/rst_source/_static/kerb.css b/doc/rst_source/_static/kerb.css index d23df9df0..45f1b6ece 100644 --- a/doc/rst_source/_static/kerb.css +++ b/doc/rst_source/_static/kerb.css @@ -6,7 +6,7 @@ * */ div.body { - padding-right: 2em; + padding-right: .5em; text-align: left; overflow-x: hidden; } @@ -14,12 +14,10 @@ div.body { /* Page layout */ div.header, div.content, div.footer { - width: 70%; margin-left: auto; margin-right: auto; } - div.header-wrapper { background: white; border-bottom: 3px solid #2e3436; @@ -48,8 +46,9 @@ div.header div.right a { /* Content */ div.document { - width: 70%; + width: 80%; float: left; + margin: 0; background-color: white; padding-top: 20px; padding-bottom: 20px; @@ -73,22 +72,41 @@ div.document div.section dl { div.sidebar { float: right; font-size: .9em; - padding-top: 0px; width: 20%; - background-color: #4c0f1a; + margin: 0; + padding: 0; + background-color: white; } div.sidebar ul { list-style-type: none; - padding: 1px; - margin-left: 1em; + margin-left: .5em; +} + +div.sidebar li.toctree-l1 a { + margin-left: .5em; +} + +div.sidebar li.toctree-l2 a { + margin-left: .5em; +} + +div.sidebar li.toctree-l3 a { + margin-left: .5em; +} + +div.sidebar li.toctree-l2.current a { + border-right: 2px solid #fcaf3e !important; } div.sidebar li.toctree-l3.current a { - border-right: 5px solid #fcaf3e; font-weight: bold; } +div.sidebar li.toctree-l4 a { + display: none; +} + /* Other body styles */ dt:target, .highlighted { |
