CSS modified with stylus