maincoder
diff --git a/‎website/static/sphinx.css
Lines changed: 25 additions & 0 deletions b/‎website/static/sphinx.css
Lines changed: 25 additions & 0 deletions
@@ -1,5 +1,9 @@
 @import url("default.css");
 
+/* These style tweaks are probably going to turn out to be a little fragile.
+   They're currently based on the default theme from sphinx 1.0.7.
+*/
+
 div.body h1,
 div.body h2,
 div.body h3,
@@ -9,6 +13,7 @@ div.body h6,
 div.sphinxsidebar h3,
 div.sphinxsidebar h4 {
     font-weight: bold;
+    border-bottom: none;
 }
 
 pre {
@@ -29,4 +34,24 @@ div.body p, div.body dd, div.body li {
 
 th.field-name {
     background: #fff;
+}
+
+/* "related" = top header */
+div.related {
+    position: fixed;
+}
+
+/* body settings copied from div.sphinxsidebar so following a link to a
+   specific object positions that object below the fixed header */
+div.body {
+    top: 30px;
+    bottom: 0;
+    margin: 0;
+    position: fixed;
+    overflow: auto;
+    height: auto;
+}
+
+div.related, div.sphinxsidebar {
+    font-family: Calibri, sans-serif;
 }