RTD theme tweaks

lukelbd · lukelbd · commit 3fc10b7d781e · 2019-12-04T01:54:27.000-07:00
diff --git a/docs/_static/custom.css b/docs/_static/custom.css
@@ -246,9 +246,14 @@ a:visited,
   font-weight: normal;
 }
 
-/* Versions panel colors */
+/* RTD versions box colors */
+/* Also make entire sidebar scrollable but add empty space to the bottom
+ * of the colling region, rather than truncating the scrollable space */
 nav.wy-nav-side {
-  padding-bottom: 2.4em !important;
+  padding-bottom: 0em !important;
+}
+.wy-menu-vertical {
+  margin-bottom: 3.5em !important;
 }
 .rst-versions .rst-current-version {
   padding: 0.66em;  /* match padding for list items */
@@ -263,6 +268,8 @@ nav.wy-nav-side {
 }
 .rst-versions .rst-other-versions hr {
   color: var(--versions-color);
+  border-top-color: var(--versions-color);
+  border-bottom-color: var(--versions-color);
 }
 .rst-versions .rst-current-version .fa {
   color: var(--main-color);

Original file line number	Diff line number	Diff line change
`@@ -246,9 +246,14 @@ a:visited,`
`246`	`246`	`font-weight: normal;`
`247`	`247`	`}`
`248`	`248`
`249`		`-/* Versions panel colors */`
	`249`	`+/* RTD versions box colors */`
	`250`	`+/* Also make entire sidebar scrollable but add empty space to the bottom`
	`251`	`+ * of the colling region, rather than truncating the scrollable space */`
`250`	`252`	`nav.wy-nav-side {`
`251`		`- padding-bottom: 2.4em !important;`
	`253`	`+ padding-bottom: 0em !important;`
	`254`	`+}`
	`255`	`+.wy-menu-vertical {`
	`256`	`+ margin-bottom: 3.5em !important;`
`252`	`257`	`}`
`253`	`258`	`.rst-versions .rst-current-version {`
`254`	`259`	`padding: 0.66em; /* match padding for list items */`
`@@ -263,6 +268,8 @@ nav.wy-nav-side {`
`263`	`268`	`}`
`264`	`269`	`.rst-versions .rst-other-versions hr {`
`265`	`270`	`color: var(--versions-color);`
	`271`	`+ border-top-color: var(--versions-color);`
	`272`	`+ border-bottom-color: var(--versions-color);`
`266`	`273`	`}`
`267`	`274`	`.rst-versions .rst-current-version .fa {`
`268`	`275`	`color: var(--main-color);`