On Sun, Jun 03, 2018 at 12:37:14AM +0200, Gerald Pfeifer wrote: > Push the references to our CSS from the MetaHTML style sheet into the > individual HTML files.
Doesn't this affect the generated pages, like onlinedocs etc.? Jakub
On Sun, Jun 03, 2018 at 12:37:14AM +0200, Gerald Pfeifer wrote: > Push the references to our CSS from the MetaHTML style sheet into the > individual HTML files.
Doesn't this affect the generated pages, like onlinedocs etc.? Jakub