Style sphinx docs to match the rest of the site

diff --git a/website/sphinx/conf.py b/website/sphinx/conf.py
index 17e468dc60858d6dc53791531b5e79f884219d63..02eafe27b075f286ebe26b9def0cd8367c46151a 100644 (file)
--- a/website/sphinx/conf.py
+++ b/website/sphinx/conf.py
@@ -30,3 +30,28 @@ coverage_ignore_classes = [
     "url",
     ]
     
+html_static_path = [os.path.abspath("../static")]
+html_style = "sphinx.css"
+highlight_language = "none"
+html_theme_options = dict(
+    footerbgcolor="#fff",
+    footertextcolor="#000",
+    sidebarbgcolor="#fff",
+    #sidebarbtncolor
+    sidebartextcolor="#4d8cbf",
+    sidebarlinkcolor="#216093",
+    relbarbgcolor="#fff",
+    relbartextcolor="#000",
+    relbarlinkcolor="#216093",
+    bgcolor="#fff",
+    textcolor="#000",
+    linkcolor="#216093",
+    visitedlinkcolor="#216093",
+    headbgcolor="#fff",
+    headtextcolor="#4d8cbf",
+    codebgcolor="#fff",
+    codetextcolor="#060",
+    bodyfont="Georgia, serif",
+    headfont="Calibri, sans-serif",
+    stickysidebar=True,
+    )

diff --git a/website/static/sphinx.css b/website/static/sphinx.css
new file mode 100644 (file)
index 0000000..af0308a
--- /dev/null
+++ b/website/static/sphinx.css
@@ -0,0 +1,28 @@
+@import url("default.css");
+
+div.body h1,
+div.body h2,
+div.body h3,
+div.body h4,
+div.body h5,
+div.body h6,
+div.sphinxsidebar h3,
+div.sphinxsidebar h4 {
+    font-weight: bold;
+}
+
+pre {
+    line-height: 14pt;
+    margin: 17pt;
+    padding-left: 1em;
+    border: none;
+    border-left: 1px solid #ccc;
+}
+
+div.body p, div.body dd, div.body li {
+    text-align: left;
+}
+
+.highlight {
+    background: #fff !important;
+}
\ No newline at end of file