Change theme WYSIWYG, add TEX support