Hugo Roy hugo@fsfe.org, Thu 2014-09-25 17:16:
BTW, since we use LESS to produce css, it should be easy to replicate the styling of the footer without duplicating code.
It would be easy, if we just put it an extra CSS file and add it to the global page headers. This would also go well with the caching mechanisms of web browsers and reduce overall code transfer, thereby loading times.
In comparison it would also go well with my current project of reducing the overall complexity of our web site system, and decrease the amount of documentation which potential contributors are confronted with (including team members, including myself).
Currently the CSS on the web site is hopelessly oversized. As it is, LESS didn't cut it down anything as much, as an afternoon of manual optimisation would have.
In time we will also badly need to turn away from a pixel based design on our web site. Another reason, why it may have been better not to include existing CSS in pdfreaders.