From 434b40ad10cd8c1c27737d26b4c079a4075fd8d3 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Tue, 8 May 2012 22:20:41 -0400
Subject: [PATCH] Added styling for node navigation in webdoc-generated manual

---
 style.css | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/style.css b/style.css
index 7c7801e..189bad9 100644
--- a/style.css
+++ b/style.css
@@ -371,6 +371,21 @@ a.top {
   float: right;
 }
 
+div.node {
+  background-color: rgba( 220, 220, 220, 0.15 );
+  border-bottom: 1px solid #babdb6;
+
+  margin:  -0.5em -1em 1em -1em; /* negate #content padding */
+  padding: 1em;
+}
+div.node p {
+  margin:  0;
+  padding: 0;
+}
+div.node hr {
+  display: none;
+}
+
 
 /*
 github.com style (c) Vasily Polovnyov <vast@whiteants.net>