--- a/Documentation/Source/eric5.Tools.TRPreviewer.html Fri Jan 25 17:37:25 2013 +0100 +++ b/Documentation/Source/eric5.Tools.TRPreviewer.html Fri Jan 25 17:54:37 2013 +0100 @@ -1,8 +1,7 @@ -<?xml version="1.0" encoding="utf-8"?> -<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Strict//EN' -'http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd'> +<!DOCTYPE html> <html><head> <title>eric5.Tools.TRPreviewer</title> +<meta charset="UTF-8"> <style> body { background: #EDECE6;