From 33d0f25fa76cf5499b4923967aa4f4eeb6b5893a Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Tue, 22 Nov 2011 16:12:20 +0000 Subject: [PATCH] * add quick nav to all pages --- website/base.css | 1 + website/cli.html | 10 ++++++++++ website/index.html | 8 ++++---- website/naming.html | 10 ++++++++++ website/script.html | 10 ++++++++++ 5 files changed, 35 insertions(+), 4 deletions(-) diff --git a/website/base.css b/website/base.css index 9bd548fb..892d209a 100644 --- a/website/base.css +++ b/website/base.css @@ -112,6 +112,7 @@ table.reference.cli > * > * > td:first-child { -webkit-border-radius: 7px; box-shadow: 0px 2px 5px #a2a2a2; -moz-box-shadow: 0px 2px 5px #a2a2a2; + overflow: hidden; } .header { diff --git a/website/cli.html b/website/cli.html index dda752cd..6797b1af 100644 --- a/website/cli.html +++ b/website/cli.html @@ -37,6 +37,16 @@
+
+
+ +
+
+