[Ohrrpgce] SVN: teeemcee/11731 plotdict: add "Hide command index" buttons, add Back to top link

[subversion at HamsterRepublic.com]

teeemcee
2020-04-13 20:26:15 -0700 (Mon, 13 Apr 2020)
214
plotdict: add "Hide command index" buttons, add Back to top link

And a few other minor changes, like changing a:visited colour to be less glaring

Well, that's the first JS use in the plotdict. Will there be more?
---
U   wip/docs/htmlplot.xsl