Етикет на разширения: stylus

Plugin finds .styl in active theme, keeps track of modified file times, and processes .styl to .css only when .styl file has been modified.