Small edit to css file. No real change in functionality.