>Can you push the modification to GIT when you will have some time? After the new TDE packages with be rebuilt, we'll >see if everything is as it should. The worst thing that could happen is that the header text would still be in black color and >right aligned.
Actually I already pushed to GIT a couple of days ago and informed everybody :-)
When you get the new packages, have a look. Then if you need some help let us know.

Cheers
  Michele