From f5a926783585b629de848bbc6baa681a7ccf4ca2 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Sun, 22 Jul 2012 16:52:41 +0200
Subject: Changes

---
 site/stylesheet.css | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'site/stylesheet.css')

diff --git a/site/stylesheet.css b/site/stylesheet.css
index f4c9170..413fc36 100644
--- a/site/stylesheet.css
+++ b/site/stylesheet.css
@@ -106,6 +106,12 @@ pre {
     margin-top: 40px;
 }
 
+#org-div-home-and-up {
+    position: fixed;
+    top: 10px;
+    right: 10px;
+}
+
 #org-div-home-and-up a {
     text-decoration: none;
     margin: 10px;
@@ -113,7 +119,7 @@ pre {
 
 #table-of-contents {
     position: fixed;
-    top: 16px;
+    top: 26px;
     right: 0;
     overflow: auto;
     max-height: 80%;
-- 
cgit v1.2.3-54-g00ecf