Quick-and-dirty fix for char code encoding in css file