> Ok, I will push either today or during this week.
The new style files have been pushed.
Yes, I am aware of KHelpCenter. It contains stuff that
is coming from probably two or three thousands years ago. :)
This one is different, and I don't fully understand how to do it.
Ok, no rush, we have plenty of time before v14.0.0 is fully ready. If you can't figure
it out, I'll try to help you as well ;-)
Cheers
Michele