]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/examples/xmlforms/styles/mini-style.xml
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / examples / xmlforms / styles / mini-style.xml
diff --git a/helm/DEVEL/pxp/pxp/examples/xmlforms/styles/mini-style.xml b/helm/DEVEL/pxp/pxp/examples/xmlforms/styles/mini-style.xml
new file mode 100644 (file)
index 0000000..844235c
--- /dev/null
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<!DOCTYPE application SYSTEM "./ds-style.dtd" [
+]>
+
+<application start="first">
+<mask name="first" font="-*-lucidatypewriter-medium-r-*-*-12-*-*-*-*-*-*-*">
+<label>This is a label</label>
+</mask>
+</application>