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
:
7
5
%
;
35
height
:
1
0
0
%
;
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
:
7
5
%
;
46
top
:
0
%
;
47
right
:
0
%
;
48
bottom
:
0
%
;
49
z
-
index
:
2
;
50
width
:
2
5
%
;
51
height
:
1
0
0
%
;
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
:
1
e
m
;
61
}
62
</
style
>
63
<
style
type
=
"
text/css
"
>
64
#
main
-
left
{
65
background
-
color
:
#
C
0
C
0
C
0
;
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
:
#
0
0
0
0
0
0
;
80
text
-
decoration
:
none
;
81
font
-
weight
:
bold
;
82
}
83
.
setupmenugroup
{
84
text
-
decoration
:
none
;
85
}
86
.
setupinstances
{
87
margin
-
top
:
3
e
x
;
88
}
89
.
setupmenucategory
{
90
font
-
weight
:
bold
;
91
font
-
size
:
2
.
5
e
x
;
92
margin
-
bottom
:
1
e
x
;
93
}
94
<?lua
95
if
utilities
and
utilities
.
scite
and
utilities
.
scite
.
css
then
96
p
(
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