I recently installed 'Rich Text Editor'. It works fine but the supplied font is very small and there is no facility to increase size of the font or its style from the plugin menu bar. Where is the php script for this plugin installed? I will then try to change font size and style. Any help appreciated.