Re: js-info polishing

[Per Bothner]

It seems the problems Gavin reported were with domterm-specfic
"extra styling", but using the plan "info.css" works ok.
So should I check in the changes I made to info.js/info.css?
I can leave out the special styling rules for narrow windows,
for now, if you think that is best.
--
        --Per Bothner
p...@bothner.com   http://per.bothner.com/