Andreas Neustifter 5e76ea6a35 Properly readd CSS changes from PR #5345.
I wrongly added CSS to generated files, now adding changes to less
as is good and proper.

And sorry for PR #5356.
2018-07-11 21:27:44 +02:00
..
2016-06-01 20:03:56 +02:00
2018-07-07 11:22:18 +02:00
2017-12-05 07:26:02 +01:00
2018-03-07 08:07:59 -05:00