From abc1e3faa4986d8e713241494b5504b7be96db4e Mon Sep 17 00:00:00 2001
From: "Michael[tm] Smith" <mike@w3.org>
Date: Wed, 28 Mar 2012 04:48:31 +0900
Subject: [PATCH] Markup updates.

---
 index.html | 20 +++++++++++++++-----
 1 file changed, 15 insertions(+), 5 deletions(-)

diff --git a/index.html b/index.html
index a64ffe6..81d83ae 100644
--- a/index.html
+++ b/index.html
@@ -74,6 +74,7 @@ a:active {
   border: 1px #008 solid;
   color:#00f;
   background-color:#ccf;
+  cursor: pointer;
 }
 #toc ol {
   margin:  0;
@@ -569,7 +570,7 @@ or with <code>sudo make install</code>.</p>
 
 <h2 id=build-library>Building the libtidy shared library</h2>
 <p>For Linux/BSD/OSX platforms, you can build and install the
-<code>tidylib</code> shared library (for use in building other
+<code>tidylib</code> shared library (for integrating Tidy into other 
 applications) from the source code using the following steps.</p>
 
 <ol>
@@ -587,15 +588,15 @@ for people who made suggestions or reported bugs for the
 original version of Tidy.
 
 <div id=toc-button style="">
-<a class=button href="#" onclick="
-  javascript:document.getElementById('toc').className = 'show';
+<a class=button onclick="
+  document.getElementById('toc').className = 'show';
   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="#" onclick="
- javascript:document.getElementById('toc').className = 'hide';
+<a class=button onclick="
+ document.getElementById('toc').className = 'hide';
  document.getElementById('toc-button').className = 'show';
  document.getElementById('quickref-button').className = 'show';"
 >Close</a>
@@ -625,3 +626,12 @@ original version of Tidy.
 <div id=quickref-button style="">
 <a class=button href="quickref.html">QuickRef</a>
 </div>
+<script>
+ document.addEventListener("mouseup", function() {
+ if (document.getElementById('toc').className = 'show') {
+     document.getElementById('toc').className = 'hide';
+     document.getElementById('toc-button').className = 'show';
+     document.getElementById('quickref-button').className = 'show';
+}
+}, false)
+</script>