fixing a bug in symbolset css file