1<?xml version="1.0" encoding="UTF-8"?>
2
3<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
4
5<!--
6
7
8
9
10
11-->
12
13<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
14 <head>
15 <script type='text/javascript'>
16 <!--
17 window.focus();
18 -->
19 </script>
20 <title><?lua pv('title')?></title>
21 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
22 <style type="text/css">
23 <!--
24
25 -->
26 </style>
27 </head>
28 <body>
29 <div id="top"><div id="top-one"><div id="top-two">
30 <?lua pv('title')?>
31 </div></div></div>
32 <div id="left"><div id="left-one"><div id="left-two">
33 <!-- -->
34 </div></div></div>
35 <div id="right"><div id="right-safari"><div id="right-one"><div id="right-two"><div id="right-three"><div id="right-four"><div id="right-five">
36 <!-- -->
37 <br/>
38 <a href="<?lua pv('filename')?>">edit</a>
39 <br/>
40 </div></div></div></div></div></div></div>
41 <div id="main"><div id="main-settings">
42 <table>
43 <tr><td>Error</td><td> <?lua tv('errormessage')?></td></tr>
44 <tr><td>File </td><td> <?lua tv('filename') ?></td></tr>
45 <tr><td>Line </td><td> <?lua tv('linenumber') ?></td></tr>
46 </table>
47 <br/>
48 <pre>
49<?lua pv('errorcontext')?>
50 </pre>
51 </div></div>
52 <div id="bottom"><div id="bottom-one"><div id="bottom-two">
53 Job Name: <?lua p(environment.jobname) ?>
54 ConTeXt Version: <?lua p(environment.version) ?>
55 </div></div></div>
56 </body>
57</html>
58 |
