Add a more prominent link to the quickref.

This commit is contained in:
Michael[tm] Smith 2012-03-17 16:48:07 +09:00
parent 1052c2b81e
commit 47c1447489

View file

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