Adding CSS rules into annoying corporate portal was so easy!

The only difficult part, actually, was to find where to put the definitions, even though there is a link to them from the pop-up menu.