]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/xmlforms/styles/address-style.xml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / examples / xmlforms / styles / address-style.xml
1 <?xml version="1.0" encoding="ISO-8859-1"?>
2 <!-- $Id$ -->
3
4 <!DOCTYPE application SYSTEM "ds-style.dtd" [
5 <!ENTITY h1.font  '-*-helvetica-bold-r-*-*-18-*-*-*-*-*-*-*'>
6 <!ENTITY h2.font  '-*-helvetica-bold-r-*-*-14-*-*-*-*-*-*-*'>
7 <!ENTITY h3.font  '-*-helvetica-bold-r-*-*-12-*-*-*-*-*-*-*'>
8 <!ENTITY dfl.font '-*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-*'>
9 <!ENTITY dfl.bold.font '-*-helvetica-bold-r-*-*-12-*-*-*-*-*-*-*'>
10 <!ENTITY in.font  '-*-lucidatypewriter-medium-r-*-*-12-*-*-*-*-*-*-*'>
11
12 <!ENTITY bg.button 'lightblue'>
13 <!ENTITY bg.hilfe  '#E0E0E0'>
14 <!ENTITY fg.hilfe  'black'>
15
16 <!ENTITY headline
17   '<vbox>
18      <label font="&h2.font;" fgcolor="darkgreen">More about person...</label>
19      <vspace height="2mm"/>
20      <hbox>
21         <hbox bgcolor="black">
22            <hspace width="18cm"/>
23            <vbox><vspace height="2px"/></vbox>
24         </hbox>
25         <hspace width="5mm"/>
26      </hbox>
27      <vspace height="3mm"/>
28    </vbox>'>
29
30 <!ENTITY help.headline
31   '<vbox>
32      <label font="&h2.font;" fgcolor="darkgreen">Help</label>
33      <vspace height="2mm"/>
34      <hbox>
35         <hbox bgcolor="black">
36            <hspace width="18cm"/>
37            <vbox><vspace height="2px"/></vbox>
38         </hbox>
39         <hspace width="5mm"/>
40      </hbox>
41      <vspace height="3mm"/>
42    </vbox>'>
43
44 <!ENTITY info.headline
45   '<vbox>
46      <label font="&h2.font;" fgcolor="darkgreen">About xmlforms</label>
47      <vspace height="2mm"/>
48      <hbox>
49         <hbox bgcolor="black">
50            <hspace width="18cm"/>
51            <vbox><vspace height="2px"/></vbox>
52         </hbox>
53         <hspace width="5mm"/>
54      </hbox>
55      <vspace height="3mm"/>
56    </vbox>'>
57
58 <!ENTITY footline
59   '<vbox>
60      <hbox>
61         <hbox bgcolor="black">
62            <hspace width="18cm"/>
63            <vbox><vspace height="2px"/></vbox>
64         </hbox>
65         <hspace width="5mm"/>
66      </hbox>
67      <vspace height="2mm"/>
68      <hbox>
69        <button bgcolor="&bg.button;" label="Previous" action="list-prev"/>
70        <button bgcolor="&bg.button;" label="Next" action="list-next"/>
71        <hspace width="0pt" fill="yes"/>
72        <button bgcolor="&bg.button;" label="Home" goto="start-page"/>
73        <hspace width="5mm"/>
74       </hbox>
75    </vbox>'>
76
77 <!ENTITY help.footline
78   '<vbox>
79      <hbox>
80         <hbox bgcolor="black">
81            <hspace width="18cm"/>
82            <vbox><vspace height="2px"/></vbox>
83         </hbox>
84         <hspace width="5mm"/>
85      </hbox>
86      <vspace height="2mm"/>
87      <hbox>
88        <button bgcolor="&bg.button;" label="Back" action="hist-prev"/>
89        <hspace width="0pt" fill="yes"/>
90       </hbox>
91    </vbox>'>
92
93 <!ENTITY info.footline '&help.footline;'>
94
95 ]>
96
97 <!-- ***************************************************************** -->
98 <!-- ************************               ************************** -->
99 <!-- ************************ Starting page ************************** -->
100 <!-- ************************               ************************** -->
101 <!-- ***************************************************************** -->
102
103 <application start="start-page"
104              font="&dfl.font;"
105 >
106
107   <mask name="start-page">
108     <vspace height="5mm"/>
109     <hbox>
110       <hspace width="5mm"/>
111       <vbox>
112         <vbox font="&h1.font;">
113           <label>A sample xmlforms application:</label>
114           <label>Address editor</label>
115         </vbox>
116         <vspace height="1cm"/>
117         <vbox>
118           <hbox>
119             <hbox width="6cm" halign="right">
120               <label>Name:</label>
121             </hbox>
122             <entry font="&in.font;" textwidth="40" slot="person.name"/>
123           </hbox>
124           <hbox>
125             <hbox width="6cm" halign="right">
126               <label>Postal address:</label>
127             </hbox>
128             <textbox font="&in.font;" 
129                      textwidth="40" 
130                      textheight="5"
131                      slot="person.address"/>
132           </hbox>
133           <hbox>
134             <hbox width="6cm" halign="right">
135               <label>Email:</label>
136             </hbox>
137             <entry font="&in.font;" textwidth="40" slot="person.email"/>
138           </hbox>
139           <hbox>
140             <hbox width="6cm" halign="right">
141               <label>Telephone number:</label>
142             </hbox>
143             <entry font="&in.font;" textwidth="20" slot="person.phone-number"/>
144           </hbox>
145         </vbox>
146         <vspace height="1cm"/>
147         <hbox>
148           <hspace width="3cm"/>
149           <hbox width="8cm">
150             <vbox>
151               <button bgcolor="&bg.button;"
152                       label="More about this person..."
153                       goto="person-list"/>
154               <button bgcolor="&bg.button;"
155                       label="Save"
156                       action="save"/>
157             </vbox>
158           </hbox>
159           <hbox>
160             <vbox>
161               <button bgcolor="&bg.button;"
162                       label="Info..."
163                       goto="info"/>
164               <button bgcolor="&bg.button;"
165                       label="Exit (without saving)"
166                       action="exit"/>
167             </vbox>
168           </hbox>
169         </hbox>
170         <vspace height="0px" fill="yes"/>
171         <hbox>
172           <hspace width="0px" fill="yes"/>
173         </hbox>
174       </vbox>
175     </hbox>
176   </mask>
177
178   <!-- ***************************************************************** -->
179   <!-- **********************               **************************** -->
180   <!-- ********************** More about... **************************** -->
181   <!-- **********************               **************************** -->
182   <!-- ***************************************************************** -->
183
184   <sequence name="person-list">
185     <mask name="Department">
186       <!-- ************************** HEADER ************************** -->
187       <vspace height="5mm"/>
188       <hbox>
189         <hspace width="5mm"/>
190         <vbox>
191           &headline;
192           <!-- ************************** CONTENT ************************* -->
193           <label font="&h1.font;">Department</label>
194           <vspace height="3mm"/>
195           <label>The person is working in this department:</label>
196           <hbox>
197             <hspace width="1cm"/>
198             <entry font="&in.font;"
199                    textwidth="70"
200                    slot="person.department"/>
201           </hbox>
202           <vspace height="3mm"/>
203           <label>The project he/she is working for:</label>
204           <hbox>
205             <hspace width="1cm"/>
206             <textbox font="&in.font;"
207                      textwidth="70"
208                      textheight="5"
209                      slot="person.project"/>
210           </hbox>
211           <vspace height="3mm"/>
212           <button bgcolor="&bg.button;"
213                   label="Help"
214                   goto="help.department"/>
215           <!-- ************************************************************ -->
216         </vbox>
217       </hbox>
218       <!-- ************************** FOOTER ************************** -->
219       <vspace height="0px" fill="yes"/>
220       <hbox>
221         <hspace width="5mm"/>
222         &footline;
223       </hbox>
224     </mask>
225
226
227     <mask name="business-contacts">
228       <!-- ************************** HEADER ************************** -->
229       <vspace height="5mm"/>
230       <hbox>
231         <hspace width="5mm"/>
232         <vbox>
233           &headline;
234           <!-- ************************** CONTENT ************************* -->
235           <label font="&h1.font;">Business Contacts</label>
236           <vspace height="3mm"/>
237           <label>Notes about contacts:</label>
238           <hbox>
239             <hspace width="1cm"/>
240             <textbox font="&in.font;"
241                      textwidth="70"
242                      textheight="10"
243                      slot="person.contacts"/>
244           </hbox>
245           <vspace height="3mm"/>
246           <button bgcolor="&bg.button;"
247                   label="Help"
248                   goto="help.business-contacts"/>
249           <!-- ************************************************************ -->
250         </vbox>
251       </hbox>
252       <!-- ************************** FOOTER ************************** -->
253       <vspace height="0px" fill="yes"/>
254       <hbox>
255         <hspace width="5mm"/>
256         &footline;
257       </hbox>
258     </mask>
259
260   </sequence>
261
262   <!-- ***************************************************************** -->
263   <!-- *****************************       ***************************** -->
264   <!-- ***************************** Help  ***************************** -->
265   <!-- *****************************       ***************************** -->
266   <!-- ***************************************************************** -->
267
268   <mask name="help.department">
269     <!-- ************************** HEADER ************************** -->
270     <vspace height="5mm"/>
271     <hbox>
272       <hspace width="5mm"/>
273       <vbox>
274         &help.headline;
275         <!-- ************************** CONTENT ************************* -->
276         <label font="&h1.font;">Department</label>
277         <vspace height="3mm"/>
278         <textbox fgcolor="&fg.hilfe;"
279                  bgcolor="&bg.hilfe;"
280                  textheight="15"
281                  textwidth="70"
282 >The help system should be designed to help you filling out your form, but
283 writing help texts is so stupid...
284 </textbox>
285         <!-- ************************************************************ -->
286       </vbox>
287     </hbox>
288     <!-- ************************** FOOTER ************************** -->
289     <vspace height="0px" fill="yes"/>
290     <hbox>
291       <hspace width="5mm"/>
292       &help.footline;
293     </hbox>
294   </mask>
295
296   <mask name="help.business-contacts">
297     <!-- ************************** HEADER ************************** -->
298     <vspace height="5mm"/>
299     <hbox>
300       <hspace width="5mm"/>
301       <vbox>
302         &help.headline;
303         <!-- ************************** CONTENT ************************* -->
304         <label font="&h1.font;">Business Contacts</label>
305         <vspace height="3mm"/>
306         <textbox fgcolor="&fg.hilfe;"
307                  bgcolor="&bg.hilfe;"
308                  textheight="15"
309                  textwidth="70"
310 >It is often helpful to remember the last telephone and/or email contacts
311 quickly.
312 </textbox>
313         <!-- ************************************************************ -->
314       </vbox>
315     </hbox>
316     <!-- ************************** FOOTER ************************** -->
317     <vspace height="0px" fill="yes"/>
318     <hbox>
319       <hspace width="5mm"/>
320       &help.footline;
321     </hbox>
322   </mask>
323
324   <!-- ***************************************************************** -->
325   <!-- ***************************************************************** -->
326   <!-- ****************************** Info ***************************** -->
327   <!-- ***************************************************************** -->
328   <!-- ***************************************************************** -->
329
330   <mask name="info">
331     <!-- ************************** HEADER ************************** -->
332     <vspace height="5mm"/>
333     <hbox>
334       <hspace width="5mm"/>
335       <vbox>
336         &info.headline;
337         <!-- ************************** CONTENT ************************* -->
338         <vspace height="3mm"/>
339         <textbox fgcolor="&fg.hilfe;"
340                  bgcolor="&bg.hilfe;"
341                  textheight="15"
342                  textwidth="70"
343 ><![CDATA[About "xmlforms":
344 Version <unknown>,
345 written by Gerd Stolpmann
346
347 Contact: Gerd.Stolpmann@darmstadt.netsurf.de
348 ]]></textbox>
349         <!-- ************************************************************ -->
350       </vbox>
351     </hbox>
352     <!-- ************************** FOOTER ************************** -->
353     <vspace height="0px" fill="yes"/>
354     <hbox>
355       <hspace width="5mm"/>
356       &info.footline;
357     </hbox>
358   </mask>
359
360
361 </application>