Style updates

diff --git a/website/static/sphinx.css b/website/static/sphinx.css
index e5c53d9eb70f17dae4237d11ab677b3c7b8eb928..01938c0b7569b10fc05cc61e49c9f2161edae5ca 100644 (file)
--- a/website/static/sphinx.css
+++ b/website/static/sphinx.css
@@ -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;
 }
\ No newline at end of file