summaryrefslogtreecommitdiff
path: root/tex/context/base/context-characters.lmx
diff options
context:
space:
mode:
Diffstat (limited to 'tex/context/base/context-characters.lmx')
-rw-r--r--tex/context/base/context-characters.lmx66
1 files changed, 36 insertions, 30 deletions
diff --git a/tex/context/base/context-characters.lmx b/tex/context/base/context-characters.lmx
index b992d30b8..b2ddee64e 100644
--- a/tex/context/base/context-characters.lmx
+++ b/tex/context/base/context-characters.lmx
@@ -1,35 +1,41 @@
-<!--
- -- filename : comm-deb.xml
- -- comment : companion to comm-xml.tex
- -- author : Hans Hagen, PRAGMA-ADE, Hasselt NL
- -- copyright: PRAGMA ADE / ConTeXt Development Team
- -- license : see context related readme files
+<?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">
+<!--
+ filename : context-characters.lmx
+ comment : companion to context.tex
+ author : Hans Hagen, PRAGMA-ADE, Hasselt NL
+ copyright: PRAGMA ADE / ConTeXt Development Team
+ license : see context related readme files
-->
-<html>
- <title><?lua pv('title') ?></title>
- <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
- <style type="text/css">
- <!--
- <?lmx-include context.css ?>
- #type {
- text-align: center ;
- }
- #variable {
- width: 10em ;
- text-align: right ;
- margin-right: 1em ;
- }
- #value {
- text-align: left ;
- }
- -->
- </style>
- <script language="JavaScript">
- <!--
- window.focus();
- -->
- </script>
+
+<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
+ <head>
+ <script language="JavaScript">
+ <!--
+ window.focus();
+ -->
+ </script>
+ <title><?lua pv('title') ?></title>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
+ <style type="text/css">
+ <!--
+ <?lmx-include context.css ?>
+ #type {
+ text-align: center ;
+ }
+ #variable {
+ width: 10em ;
+ text-align: right ;
+ margin-right: 1em ;
+ }
+ #value {
+ text-align: left ;
+ }
+ -->
+ </style>
+ </head>
<body> <!-- onclick="location.reload()" -->
<div id="top"><div id="top-one"><div id="top-two">
<?lua pv('title') ?>