]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/doc/manual/src/markup.dsl
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / src / markup.dsl
1 <!DOCTYPE style-sheet PUBLIC "-//James Clark//DTD DSSSL Style Sheet//EN" [
2
3 <!-- The default is the print stylesheet. Call 'jade' with option '-ihtml'
4      to select the HTML stylesheet.
5   -->
6
7 <!ENTITY % html "IGNORE">
8 <![%html;[
9 <!ENTITY % print "IGNORE">
10 <!ENTITY docbook.dsl SYSTEM "docbook.dsl" CDATA dsssl>
11 ]]>
12 <!ENTITY % print "INCLUDE">
13 <![%print;[
14 <!ENTITY docbook.dsl SYSTEM "docbook.dsl" CDATA dsssl>
15 ]]>
16 ]>
17 <style-sheet>
18 <style-specification use="docbook">
19 <style-specification-body> 
20
21 ;; HTML:
22
23 <![%html;[
24
25 (define %footnotes-at-end%
26   ;; Should footnotes appear at the end of HTML pages?
27   #t)
28
29 (define %html-ext% 
30   ;; Default extension for HTML output files
31   ".html")
32
33 (define %root-filename%
34   ;; Name for the root HTML document
35   "index")
36
37 (define %css-decoration%
38   ;; Enable CSS decoration of elements
39   #t)
40
41 (define %stylesheet%
42   ;; Name of the stylesheet to use
43   "markup.css")
44
45 (define %graphic-default-extension%
46   ;; Default extension for graphic FILEREFs
47   "gif")
48
49 ]]>
50
51 ;; printing:
52
53 <![%print;[
54
55 (define bop-footnotes
56   ;; Make "bottom-of-page" footnotes?
57   #t)
58
59 (define %graphic-default-extension%
60   ;; Default extension for graphic FILEREFs
61   "ps")
62
63 ]]>
64
65 ;; both:
66
67 (define %section-autolabel%
68    ;; Are sections enumerated?
69    #t)
70
71 </style-specification-body>
72 </style-specification>
73 <external-specification id="docbook" document="docbook.dsl">
74 </style-sheet>