context-help.lmx /size: 4085 b    last modification: 2020-07-01 14:35
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    filename : comm-deb.xml
7    comment  : companion to comm-xml.tex
8    author   : Hans Hagen, PRAGMA-ADE, Hasselt NL
9    copyright: PRAGMA ADE / ConTeXt Development Team
10    license  : see context related readme files
11-->
12
13<html>
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        <!-- <base target="context-help" /> -->
23        <style type="text/css">
24            <?lmx-include context.css ?>
25        </style>
26        <style type="text/css">
27            #main-left {
28                position: absolute;
29                left: 0% ;
30                top: 0% ;
31                right: 0% ;
32                bottom: 0% ;
33                z-index: 2 ;
34                width: 75% ;
35                height: 100% ;
36                padding: 0% ;
37                margin: 0% ;
38                overflow: auto ;
39                border-style: none ;
40                border-width: 0 ;
41                background-color: <?lua pv('color-background-main-left')?> ;
42            }
43            #main-right {
44                position: absolute;
45                left: 75% ;
46                top: 0% ;
47                right: 0% ;
48                bottom: 0% ;
49                z-index: 2 ;
50                width: 25% ;
51                height: 100% ;
52                padding: 0% ;
53                margin: 0% ;
54                overflow: auto ;
55                border-style: none ;
56                border-width: 0 ;
57                background-color: <?lua pv('color-background-main-right')?> ;
58            }
59            #main-common-settings {
60                padding: 1em ;
61            }
62        </style>
63        <style type="text/css">
64            #main-left {
65                background-color: #C0C0C0 ;
66                color: black;
67            }
68            a.setupmenuurl {
69                color: #FFFFFF ;
70                text-decoration: none ;
71                font-weight: bold ;
72            }
73            a.setupmenucmd {
74                color: #FFFFFF ;
75                text-decoration: underline ;
76                font-weight: bold ;
77            }
78            a.setuplisturl {
79                color: #000000 ;
80                text-decoration: none ;
81                font-weight: bold ;
82            }
83            .setupmenugroup {
84                text-decoration: none ;
85            }
86            .setupinstances {
87                margin-top: 3ex ;
88            }
89            .setupmenucategory {
90                font-weight: bold ;
91                font-size: 2.5ex ;
92                margin-bottom: 1ex ;
93            }
94            <?lua
95                if utilities and utilities.scite and utilities.scite.css then
96p(utilities.scite.css())
97                end
98            ?>
99        </style>
100    </head>
101    <body>
102        <div id="top"><div id="top-one"><div id="top-two">
103<?lua pv('title') ?>
104        </div></div></div>
105        <div id="left"><div id="left-one"><div id="left-two">
106<!-- empty -->
107        </div></div></div>
108        <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">
109<?lua pv('interfaces') ?>
110        </div></div></div></div></div></div></div>
111        <div id="main"><div id='main-settings'>
112            <div id="main-left"><div id="main-common-settings">
113<h1><?lua pv('maintitle') ?></h1>
114<?lua pv('maintext') ?>
115            </div></div>
116            <div id="main-right"><div id="main-common-settings">
117<?lua pv('names') ?>
118<script type='text/javascript'>
119    <!--
120        document.getElementById("#current").scrollIntoView();
121    -->
122</script>
123            </div></div>
124        </div></div>
125        <div id="bottom"><div id="bottom-one"><div id="bottom-two">
126<?lua pv('extra') ?>
127        </div></div></div>
128    </body>
129</html>
130