74
74
border : 1px # 008 solid;
75
75
color : # 00f ;
76
76
background-color : # ccf ;
77
+ cursor : pointer;
77
78
}
78
79
# toc ol {
79
80
margin : 0 ;
@@ -569,7 +570,7 @@ <h2 id=build-cli>Building the tidy command-line tool</h2>
569
570
570
571
< h2 id =build-library > Building the libtidy shared library</ h2 >
571
572
< p > For Linux/BSD/OSX platforms, you can build and install the
572
- < code > tidylib</ code > shared library (for use in building other
573
+ < code > tidylib</ code > shared library (for integrating Tidy into other
573
574
applications) from the source code using the following steps.</ p >
574
575
575
576
< ol >
@@ -587,15 +588,15 @@ <h2 id=acks>Acknowledgements</h2>
587
588
original version of Tidy.
588
589
589
590
< div id =toc-button style ="">
590
- < a class =button href =" # " onclick ="
591
- javascript: document.getElementById('toc').className = 'show';
591
+ < a class =button onclick ="
592
+ document.getElementById('toc').className = 'show';
592
593
document.getElementById('toc-button').className = 'hide';
593
594
document.getElementById('quickref-button').className = 'hide'; "
594
595
> Show TOC</ a >
595
596
</ div >
596
597
< div id =toc class =hide >
597
- < a class =button href =" # " onclick ="
598
- javascript: document.getElementById('toc').className = 'hide';
598
+ < a class =button onclick ="
599
+ document.getElementById('toc').className = 'hide';
599
600
document.getElementById('toc-button').className = 'show';
600
601
document.getElementById('quickref-button').className = 'show'; "
601
602
> Close</ a >
@@ -625,3 +626,12 @@ <h2 id=acks>Acknowledgements</h2>
625
626
< div id =quickref-button style ="">
626
627
< a class =button href ="quickref.html "> QuickRef</ a >
627
628
</ div >
629
+ < script >
630
+ document . addEventListener ( "mouseup" , function ( ) {
631
+ if ( document . getElementById ( 'toc' ) . className = 'show' ) {
632
+ document . getElementById ( 'toc' ) . className = 'hide' ;
633
+ document . getElementById ( 'toc-button' ) . className = 'show' ;
634
+ document . getElementById ( 'quickref-button' ) . className = 'show' ;
635
+ }
636
+ } , false )
637
+ </ script >
0 commit comments