[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: js-info polishing
|
From: |
Per Bothner |
|
Subject: |
Re: js-info polishing |
|
Date: |
Tue, 23 Feb 2021 14:29:04 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.0 |
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
per@bothner.com http://per.bothner.com/