function quoteHtml(a){return a?a.replace(/&/g,"&amp;").replace(/>/g,"&gt;").replace(/</g,"&lt;").replace(/\r\n|\r/g,"<br>"):"&nbsp;"}
function historyHeader(){return'<!DOCTYPE HTML>\r\n<html>\r\n<head><style type="text/css">\r\ntable {font:normal 80% Segoe UI,arial,sans-serif;border-collapse:collapse;}\r\n.th {vertical-align:top;padding: 4px;border: 1px solid #c1c1c2;color:#1e1e1f;background-color: #e7e7e8;}\r\ntable td {padding: 4px;border: 1px solid #c1c1c2;color:#1382ce;background-color: #f7f7f8;}\r\n</style>\r\n</head>\r\n<body>\r\n'}
function historyItemBegin(a,b){return"<table>\r\n<tr><td class='th'></td><td>"+quoteHtml(a)+"</td></tr>\r\n"}function historyItem(a,b,c,d,e,f,g){return"<tr><td class='th'>"+a+" ("+c+" to "+e+")</td><td>"+quoteHtml(d)+"</td></tr>\r\n"}function historyItemEnd(a,b){return"</table><br>\r\n"}function historyFooter(){return"</body>\r\n</html>"}function historyFileDescription(){return"Html file"}function historyFileExtension(){return"html"};
