tiny detail in disc.css