Removed font-size

To allow the editor's font-size to be controlled by user
Font size set from user settings

Updateable using settings screen, value in config.php
fontSize setting, set at 13px default
Replace \r\n and \r line endings with \n

To set it to Unix as the default. Opening files with \n line endings in
relatively modern programs will know to use line breaks here if not the
native OS preference
Font size set in body, not CSS reset

This is because we can't update the editor preview if the font size is
set in the CSS reset
Updateable font size

Font size is set from config setting.
New font size setting available for user input. On changing this, it
updates the CSS class.
Turn magic quotes gpc off

On systems that have magic quotes gpc (get post cookie) turned on,
attempt to turn off with a php.ini file. This works for some users but
is dependent on OS and server security settings as to whether this takes
effect.
Set font size on updating settings

New font size passed thru to this function to apply to the class
property on demand
Magic quotes catch, saving & applying font size

If magic quotes gpc is still on, the server has this set and the php.ini
file hasn't been able to turn it off. This section will remove the extra
slashes set by it to return the content back to normal.
Font size is now saved to the config file on update from settings screen
and also applied on the fly to currently open docs.
Establish font size

According to config setting