/div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><span class="keyword">data</span> <a href="#t:EditingDocument">EditingDocument</a> c</li><li class="src short"><a href="#v:editDocument">editDocument</a> :: <a href="WEditor-Document.html#t:FixedFontParser" title="WEditor.Document">FixedFontParser</a> a c =&gt; a -&gt; [<a href="WEditor-Document.html#t:UnparsedPara" title="WEditor.Document">UnparsedPara</a> c] -&gt; <a 