docs.css: rm duplicate semicolon