Monokai isn't used