This does NOT cover the specifics of TinyMCE, but just how it pertains to webgui. This wiki is based on my investigations webgui 7.5.24. This is by NO means complete, but hopefully accurate and a good starting point for those interested. Please contribute!
TinyMCE is what is used for the Rich Edit in webgui. It's source files are stored in the WebGUI path under www/extras/tinymce and www/extras/tinymce-webgui. You can find the version of TinyMCE by visiting the following link on your WebGUI site -- yourdomain.com/extras/tinymce/changelog.txt (e.g., http://www.webgui.org/extras/tinymce/changelog.txt)
TinyMCE is a library of js files, but for each page that has a tinymce editor, the following files are referenced:
/data/WebGUI/lib/WebGUI/Asset/RichEdit.pm is where the inital values for the TinyMCE editor is defined:
NOTE: In this case, the theme is "advanced". So the advanced theme is the one you want to modify to make changes to the font-family, etc. See http://wiki.moxiecode.com/index.php/TinyMCE:Configuration for more info.
The RichEdit asset is also where the three plugins are loaded:
Rich Editor
A default install of WebGUI includes 2 pre-configured Rich Editor instances:
These assets live in root > import node > rich edit.
You can customize the default rich editors by editing these assets. As with templates, it is always a better idea to make a copy of the default asset before making your changes, otherwise future versions of WebGUI will overwrite your changes. Once you have copied the rich editor you want to customize and made your changes, change the default used by Assets in Settings > UI > Default Rich Editor.