Type-check styles.py