fix preprocessing instruction in shell.css