Custom themes for textadept