Update mini-demangaus.css

included latest changes