]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/xmlforms/styles/mini-style.xml
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / examples / xmlforms / styles / mini-style.xml
1 <?xml version="1.0" encoding="ISO-8859-1"?>
2 <!DOCTYPE application SYSTEM "./ds-style.dtd" [
3 ]>
4
5 <application start="first">
6 <mask name="first" font="-*-lucidatypewriter-medium-r-*-*-12-*-*-*-*-*-*-*">
7 <label>This is a label</label>
8 </mask>
9 </application>