diff options
Diffstat (limited to 'tex/context/base/context-characters.lmx')
-rw-r--r-- | tex/context/base/context-characters.lmx | 66 |
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') ?> |