emelie/tidy-html5
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Markup updates.

Browse source
This commit is contained in:
Michael[tm] Smith 2012-03-28 04:48:31 +09:00
parent 547d84ed16
commit abc1e3faa4
1 changed files with 15 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
index.html
View file

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