In Unix PuTTY, grey out "Restart Session" when it doesn't apply (as the Windows

[u/mdw/putty] / doc / site.but

\# Additional configuration for the version of the PuTTY docs
\# actually published as HTML on the website.

\cfg{xhtml-head-end}{<link rel='stylesheet' href='sitestyle.css' type='text/css' />}