Fri, 25 Jan 2013 17:37:25 +0100
Changed the source documentor to generate HTML5 pages.
(grafted from 5d9b313403dfa7ee5d8626f171f35f0a711e9097)
DocumentationTools/TemplatesListsStyle.py | file | annotate | diff | comparison | revisions | |
DocumentationTools/TemplatesListsStyleCSS.py | file | annotate | diff | comparison | revisions |
--- a/DocumentationTools/TemplatesListsStyle.py Sat Jan 26 12:41:53 2013 +0100 +++ b/DocumentationTools/TemplatesListsStyle.py Fri Jan 25 17:37:25 2013 +0100 @@ -12,11 +12,10 @@ ################################################# headerTemplate = \ -'''<?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>{{Title}}</title> +<meta charset="UTF-8"> </head> <body style="background-color:{BodyBgColor};color:{BodyColor}">'''
--- a/DocumentationTools/TemplatesListsStyleCSS.py Sat Jan 26 12:41:53 2013 +0100 +++ b/DocumentationTools/TemplatesListsStyleCSS.py Fri Jan 25 17:37:25 2013 +0100 @@ -12,11 +12,10 @@ ################################################# headerTemplate = \ -'''<?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>{Title}</title> +<meta charset="UTF-8"> <style> {Style} </style>