These styles should probably go in the JSLint extension CSS file.