The MonoDoc embedded editor.