We already do in doc/style.css, but we should tell our editors and formatters, too. The comment.. doesn't really make sense, it's purely repetitive with the code itself. Thus, removed.