From f47d89ff4e710f6d2df755fe526e91a5cf236cfa Mon Sep 17 00:00:00 2001
From: Aldo Cortesi <aldo@nullcube.com>
Date: Mon, 27 Jan 2014 14:16:23 +1300
Subject: Revert "Move the doc tree out into its own repo."

This reverts commit 8f88fcedd601c0033b4469b66626a83011879baf.
---
 doc-src/02-docstyle.css | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 doc-src/02-docstyle.css

(limited to 'doc-src/02-docstyle.css')

diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css
new file mode 100644
index 00000000..8e07434b
--- /dev/null
+++ b/doc-src/02-docstyle.css
@@ -0,0 +1,16 @@
+body {
+    padding-top: 60px;
+    padding-bottom: 40px;
+}
+
+.tablenum {
+    font-weight: bold;
+} 
+
+.nowrap {
+     white-space: nowrap;
+}
+
+h1 {
+    line-height: 1.1;
+}
\ No newline at end of file
-- 
cgit v1.2.3


From e5d282936434226241e7077380607224b4ebe446 Mon Sep 17 00:00:00 2001
From: Aldo Cortesi <aldo@nullcube.com>
Date: Tue, 28 Jan 2014 15:19:53 +1300
Subject: docs: fix spacing of page headers

---
 doc-src/02-docstyle.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'doc-src/02-docstyle.css')

diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css
index 8e07434b..4b1ad76a 100644
--- a/doc-src/02-docstyle.css
+++ b/doc-src/02-docstyle.css
@@ -13,4 +13,8 @@ body {
 
 h1 {
     line-height: 1.1;
-}
\ No newline at end of file
+}
+
+.page-header {
+    margin: 0px 0 22px;
+}
-- 
cgit v1.2.3