On Wed, 20 Jan 2016, Manuel López-Ibáñez wrote: >> And I can commit working my way backwards through all the other >> changes.html pages over the coming couple of days. > wwwdocs/htdocs$ find . -name '*.html' | xargs grep --color -e " style *=" > > shows a bit more inline CSS than changes.html, unfortunately.
Yes, I know. I'll also take care of the others (may just take some days for the release-specific ones, possibly a tad longer for the few others). Gerald
