From 47c144748966a6746591be06fc6568e8d0859161 Mon Sep 17 00:00:00 2001
From: "Michael[tm] Smith" <mike@w3.org>
Date: Sat, 17 Mar 2012 16:48:07 +0900
Subject: [PATCH] Add a more prominent link to the quickref.

---
 index.html | 49 ++++++++++++++++++++++++++++++++++++-------------
 1 file changed, 36 insertions(+), 13 deletions(-)

diff --git a/index.html b/index.html
index 62d688b..405ee32 100644
--- a/index.html
+++ b/index.html
@@ -52,20 +52,23 @@ a:active {
   font-family: Verdana, sans-serif;
 }
 #toc-button {
-  position:fixed;
-  top:10px;
-  right:10px;
-  background:transparent;
-  padding:15px;
-  z-index:999;
-  max-height:400px;
-  overflow:auto;
-  font-size:11px;
-  font-family:Verdana, sans-serif;
+  position: fixed;
+  top: 10px;
+  right: 10px;
+  background: transparent;
+  padding: 15px;
+  z-index: 999;
+  max-height: 400px;
+  overflow: auto;
+  font-size: 11px;
+  font-family: Verdana, sans-serif;
 }
 #toc .button,
-#toc-button .button {
+#toc-button .button,
+#quickref-button .button {
   float: right;
+  width: 59px;
+  text-align: center;
   margin: 0 0 5px 5px;
   padding: 5px;
   border: 1px #008 solid;
@@ -94,6 +97,18 @@ a:active {
 .show {
   display: block;
 }
+#quickref-button {
+  position: fixed;
+  top: 40px;
+  right: 10px;
+  background: transparent;
+  padding: 15px;
+  z-index: 999;
+  max-height: 400px;
+  overflow: auto;
+  font-size: 11px;
+  font-family: Verdana, sans-serif;
+}
 code { color: green; font-weight: bold; }
 pre { color: green; font-weight: bold; font-family: monospace}
 em { font-style: italic; color: rgb(0, 0, 153) }
@@ -535,12 +550,16 @@ original version of Tidy.
 <div id=toc-button style="">
 <a class=button href="
   javascript:document.getElementById('toc').className = 'show';
-  document.getElementById('toc-button').className = 'hide';">Show TOC</a>
+  document.getElementById('toc-button').className = 'hide';
+  document.getElementById('quickref-button').className = 'hide';"
+>Show TOC</a>
 </div>
 <div id=toc class=hide>
 <a class=button href="
  javascript:document.getElementById('toc').className = 'hide';
- document.getElementById('toc-button').className = 'show';">Close</a>
+ document.getElementById('toc-button').className = 'show';
+ document.getElementById('quickref-button').className = 'show';"
+>Close</a>
 <ol>
 <li><a href="#what-tidy-does">What Tidy does</a>
 <li><a href="#help">How to run Tidy from the command line</a>
@@ -560,3 +579,7 @@ original version of Tidy.
 <li><a href="#acks">Acknowledgements</a>
 </ol>
 </div>
+
+<div id=quickref-button style="">
+<a class=button href="quickref.html">QuickRef</a>
+</div>