diff options
author | Tom Willemsen | 2012-07-22 16:52:41 +0200 |
---|---|---|
committer | Tom Willemsen | 2012-07-22 16:52:41 +0200 |
commit | f5a926783585b629de848bbc6baa681a7ccf4ca2 (patch) | |
tree | eba47794361d3573a148ebf1d280fce6a17cdb5a /site/stylesheet.css | |
parent | 952ea18beb62ec374e78722ce1c189a19e1de7fc (diff) | |
download | orgweb-f5a926783585b629de848bbc6baa681a7ccf4ca2.tar.gz orgweb-f5a926783585b629de848bbc6baa681a7ccf4ca2.zip |
Changes
Diffstat (limited to 'site/stylesheet.css')
-rw-r--r-- | site/stylesheet.css | 8 |
1 files changed, 7 insertions, 1 deletions
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%; |