theming the avalon text editor