change ace.js theme