summaryrefslogtreecommitdiffstats
path: root/doc/rst_source/_static
diff options
context:
space:
mode:
authorZhanna Tsitkov <tsitkova@mit.edu>2012-06-01 13:19:29 -0400
committerZhanna Tsitkov <tsitkova@mit.edu>2012-06-01 13:19:29 -0400
commit5befd068e13d671490e6b0ac868d1cd23ffa9496 (patch)
treec86ae8a56b153c85614a7302e4c6a8ea5fff918b /doc/rst_source/_static
parent627ed34ba368fe989b7498bddf9d9dae40d76135 (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.css36
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 {