From 994555f391d920794aa5c8a9c68d06cb438f93fb Mon Sep 17 00:00:00 2001
From: Ben Darnell <ben@bendarnell.com>
Date: Sun, 19 Jun 2011 12:05:28 -0700
Subject: [PATCH] Style updates

---
 website/static/sphinx.css | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/website/static/sphinx.css b/website/static/sphinx.css
index e5c53d9eb..01938c0b7 100644
--- 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
-- 
2.47.2