Doc style tweaks

1 files changed, 24 insertions, 0 deletions

diff --git a/docs/static/css/default.css b/docs/static/css/default.css
index 5a73fb99..8401687d 100644
--- a/docs/static/css/default.css
+++ b/docs/static/css/default.css
@@ -61,6 +61,30 @@ a.github:hover {
   text-decoration: none;
 }
 
+/* Footer */
+/*
+.footer p {
+  text-align: center;
+  color: gray;
+  border-top: 1px solid #DDD;
+  padding-top: 10px;
+}
+
+.footer a {
+  color: gray;
+  font-weight: bold;
+}
+
+.footer a:hover {
+  color: gray;
+}
+*/
+
+/* */
+body hr {
+  border-top: 1px dotted #A30000
+}
+
 /* Force TOC text to not overrun */
 #table-of-contents {
     overflow: hidden;