Documentation/Source/index-eric5.UI.html

changeset 2386
bf6f0ded6071
parent 2367
78f6c8193d37
child 2387
2d119e79ab54
diff -r e999256385bd -r bf6f0ded6071 Documentation/Source/index-eric5.UI.html
--- a/Documentation/Source/index-eric5.UI.html	Sat Feb 02 18:34:31 2013 +0100
+++ b/Documentation/Source/index-eric5.UI.html	Sat Feb 02 19:15:52 2013 +0100
@@ -1,7 +1,8 @@
-<!DOCTYPE html>
+<?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'>
 <html><head>
 <title>eric5.UI</title>
-<meta charset="UTF-8">
 <style>
 body {
     background: #EDECE6;

eric ide

mercurial