You're welcome :-) You have to enable it manually nowadays, but it opens up a ton of possibilities - you can theme virtually everything (find out which element

You're welcome :-) You have to enable it manually nowadays, but it opens up a ton of possibilities - you can theme virtually everything (find out which elements to theme using the browser toolbox).