changelog shortlog graph tags branches changeset files file revisions raw help

Mercurial > core / annotate lisp/lib/dat/html/const.lisp

changeset 698: 96958d3eb5b0
parent: a3b65a8138ac
author: Richard Westhaver <ellis@rwest.io>
date: Fri, 04 Oct 2024 22:04:59 -0400
permissions: -rw-r--r--
description: fixes
240
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
1
 (in-package :dat/html)
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
2
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
3
 ;;; Constants
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
4
 (defglobal +namespaces+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
5
   '(("html" . "http://www.w3.org/1999/xhtml")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
6
     ("mathml" ."http://www.w3.org/1998/Math/MathML")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
7
     ("svg" . "http://www.w3.org/2000/svg")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
8
     ("xlink" . "http://www.w3.org/1999/xlink")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
9
     ("xml" . "http://www.w3.org/XML/1998/namespace")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
10
     ("xmlns" . "http://www.w3.org/2000/xmlns/")))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
11
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
12
 (eval-always 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
13
   (defun find-namespace (prefix)
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
14
     (cdr (assoc prefix +namespaces+ :test #'string=))))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
15
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
16
 (defun find-prefix (namespace)
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
17
   (car (find namespace +namespaces+ :test #'string= :key #'cdr)))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
18
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
19
 (defglobal +scoping-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
20
   `((,(find-namespace "html") . "applet")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
21
     (,(find-namespace "html") . "caption")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
22
     (,(find-namespace "html") . "html")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
23
     (,(find-namespace "html") . "marquee")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
24
     (,(find-namespace "html") . "object")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
25
     (,(find-namespace "html") . "table")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
26
     (,(find-namespace "html") . "td")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
27
     (,(find-namespace "html") . "th")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
28
     (,(find-namespace "mathml") . "mi")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
29
     (,(find-namespace "mathml") . "mo")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
30
     (,(find-namespace "mathml") . "mn")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
31
     (,(find-namespace "mathml") . "ms")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
32
     (,(find-namespace "mathml") . "mtext")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
33
     (,(find-namespace "mathml") . "annotation-xml")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
34
     (,(find-namespace "svg") . "foreignObject")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
35
     (,(find-namespace "svg") . "desc")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
36
     (,(find-namespace "svg") . "title")))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
37
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
38
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
39
 (defglobal +formatting-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
40
   `((,(find-namespace "html") . "a")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
41
     (,(find-namespace "html") . "b")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
42
     (,(find-namespace "html") . "big")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
43
     (,(find-namespace "html") . "code")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
44
     (,(find-namespace "html") . "em")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
45
     (,(find-namespace "html") . "font")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
46
     (,(find-namespace "html") . "i")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
47
     (,(find-namespace "html") . "nobr")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
48
     (,(find-namespace "html") . "s")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
49
     (,(find-namespace "html") . "small")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
50
     (,(find-namespace "html") . "strike")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
51
     (,(find-namespace "html") . "strong")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
52
     (,(find-namespace "html") . "tt")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
53
     (,(find-namespace "html") . "u")))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
54
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
55
 (defglobal +special-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
56
   `((,(find-namespace "html") . "address")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
57
     (,(find-namespace "html") . "applet")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
58
     (,(find-namespace "html") . "area")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
59
     (,(find-namespace "html") . "article")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
60
     (,(find-namespace "html") . "aside")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
61
     (,(find-namespace "html") . "base")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
62
     (,(find-namespace "html") . "basefont")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
63
     (,(find-namespace "html") . "bgsound")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
64
     (,(find-namespace "html") . "blockquote")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
65
     (,(find-namespace "html") . "body")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
66
     (,(find-namespace "html") . "br")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
67
     (,(find-namespace "html") . "button")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
68
     (,(find-namespace "html") . "caption")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
69
     (,(find-namespace "html") . "center")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
70
     (,(find-namespace "html") . "col")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
71
     (,(find-namespace "html") . "colgroup")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
72
     (,(find-namespace "html") . "command")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
73
     (,(find-namespace "html") . "dd")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
74
     (,(find-namespace "html") . "details")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
75
     (,(find-namespace "html") . "dir")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
76
     (,(find-namespace "html") . "div")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
77
     (,(find-namespace "html") . "dl")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
78
     (,(find-namespace "html") . "dt")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
79
     (,(find-namespace "html") . "embed")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
80
     (,(find-namespace "html") . "fieldset")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
81
     (,(find-namespace "html") . "figure")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
82
     (,(find-namespace "html") . "footer")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
83
     (,(find-namespace "html") . "form")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
84
     (,(find-namespace "html") . "frame")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
85
     (,(find-namespace "html") . "frameset")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
86
     (,(find-namespace "html") . "h1")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
87
     (,(find-namespace "html") . "h2")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
88
     (,(find-namespace "html") . "h3")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
89
     (,(find-namespace "html") . "h4")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
90
     (,(find-namespace "html") . "h5")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
91
     (,(find-namespace "html") . "h6")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
92
     (,(find-namespace "html") . "head")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
93
     (,(find-namespace "html") . "header")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
94
     (,(find-namespace "html") . "hr")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
95
     (,(find-namespace "html") . "html")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
96
     (,(find-namespace "html") . "iframe")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
97
     ;; Note that image is commented out in the spec as "this isn't an
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
98
     ;; element that can end up on the stack, so it doesn't matter,"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
99
     (,(find-namespace "html") . "image")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
100
     (,(find-namespace "html") . "img")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
101
     (,(find-namespace "html") . "input")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
102
     (,(find-namespace "html") . "isindex")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
103
     (,(find-namespace "html") . "li")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
104
     (,(find-namespace "html") . "link")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
105
     (,(find-namespace "html") . "listing")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
106
     (,(find-namespace "html") . "marquee")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
107
     (,(find-namespace "html") . "menu")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
108
     (,(find-namespace "html") . "meta")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
109
     (,(find-namespace "html") . "nav")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
110
     (,(find-namespace "html") . "noembed")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
111
     (,(find-namespace "html") . "noframes")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
112
     (,(find-namespace "html") . "noscript")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
113
     (,(find-namespace "html") . "object")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
114
     (,(find-namespace "html") . "ol")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
115
     (,(find-namespace "html") . "p")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
116
     (,(find-namespace "html") . "param")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
117
     (,(find-namespace "html") . "plaintext")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
118
     (,(find-namespace "html") . "pre")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
119
     (,(find-namespace "html") . "script")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
120
     (,(find-namespace "html") . "section")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
121
     (,(find-namespace "html") . "select")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
122
     (,(find-namespace "html") . "style")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
123
     (,(find-namespace "html") . "table")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
124
     (,(find-namespace "html") . "tbody")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
125
     (,(find-namespace "html") . "td")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
126
     (,(find-namespace "html") . "textarea")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
127
     (,(find-namespace "html") . "tfoot")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
128
     (,(find-namespace "html") . "th")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
129
     (,(find-namespace "html") . "thead")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
130
     (,(find-namespace "html") . "title")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
131
     (,(find-namespace "html") . "tr")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
132
     (,(find-namespace "html") . "ul")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
133
     (,(find-namespace "html") . "wbr")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
134
     (,(find-namespace "html") . "xmp")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
135
     (,(find-namespace "svg") . "foreignObject")))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
136
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
137
 (defglobal +html-integration-point-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
138
   `((,(find-namespace "mathml") . "annotation-xml")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
139
     (,(find-namespace "svg") . "foreignObject")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
140
     (,(find-namespace "svg") . "desc")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
141
     (,(find-namespace "svg") . "title")))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
142
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
143
 (defglobal +mathml-text-integration-point-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
144
   `((,(find-namespace "mathml") . "mi")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
145
     (,(find-namespace "mathml") . "mo")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
146
     (,(find-namespace "mathml") . "mn")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
147
     (,(find-namespace "mathml") . "ms")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
148
     (,(find-namespace "mathml") . "mtext")))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
149
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
150
 (defconstant +eof+ '+eof+)
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
151
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
152
 (defglobal +token-types+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
153
   '(:doctype 0
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
154
     :characters 1
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
155
     :space-characters 2
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
156
     :star-ttag 3
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
157
     :end-tag 4
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
158
     :empty-tag 5
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
159
     :comment 6
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
160
     :parse-error 7))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
161
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
162
 (defglobal +tag-token-types+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
163
   '(:start-tag :end-tag :empty-tag))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
164
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
165
 (defglobal +space-characters+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
166
   '(#\Tab
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
167
     #\Newline
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
168
     #\u000C
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
169
     #\Space
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
170
     #\Return))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
171
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
172
 (defglobal +table-insert-mode-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
173
   '("table"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
174
     "tbody"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
175
     "tfoot"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
176
     "thead"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
177
     "tr"))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
178
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
179
 (defglobal +ascii-lowercase+ "abcdefghijklmnopqrstuvwxyz")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
180
 (defglobal +ascii-uppercase+ "ABCDEFGHIJKLMNOPQRSTUVWXYZ")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
181
 (defglobal +ascii-letters+ "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
182
 (defglobal +digits+ "0123456789")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
183
 (defglobal +hex-digits+ "0123456789abcdefABCDEF")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
184
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
185
 (defun ascii-letter-p (c)
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
186
   (when (characterp c)
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
187
     (let ((code (char-code c)))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
188
       (or (<= #.(char-code #\a) code #.(char-code #\z))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
189
           (<= #.(char-code #\A) code #.(char-code #\Z))))))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
190
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
191
 (defun ascii-upper-2-lower (string)
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
192
   (let ((out (copy-seq string)))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
193
     (dotimes (i (length string))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
194
       (let ((p (position (char out i) +ascii-uppercase+)))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
195
         (when p
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
196
           (setf (char out i) (char +ascii-lowercase+ p)))))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
197
     out))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
198
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
199
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
200
 (defglobal +replacement-characters+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
201
   '(#x0 #\uFFFD
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
202
     #x0d #\u000D
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
203
     #x80 #\u20AC
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
204
     #x81 #\u0081
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
205
     #x81 #\u0081
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
206
     #x82 #\u201A
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
207
     #x83 #\u0192
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
208
     #x84 #\u201E
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
209
     #x85 #\u2026
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
210
     #x86 #\u2020
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
211
     #x87 #\u2021
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
212
     #x88 #\u02C6
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
213
     #x89 #\u2030
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
214
     #x8A #\u0160
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
215
     #x8B #\u2039
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
216
     #x8C #\u0152
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
217
     #x8D #\u008D
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
218
     #x8E #\u017D
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
219
     #x8F #\u008F
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
220
     #x90 #\u0090
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
221
     #x91 #\u2018
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
222
     #x92 #\u2019
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
223
     #x93 #\u201C
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
224
     #x94 #\u201D
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
225
     #x95 #\u2022
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
226
     #x96 #\u2013
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
227
     #x97 #\u2014
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
228
     #x98 #\u02DC
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
229
     #x99 #\u2122
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
230
     #x9A #\u0161
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
231
     #x9B #\u203A
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
232
     #x9C #\u0153
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
233
     #x9D #\u009D
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
234
     #x9E #\u017E
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
235
     #x9F #\u0178))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
236
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
237
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
238
 (defglobal +cdata-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
239
   '("title"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
240
     "textarea"))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
241
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
242
 (defglobal +rcdata-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
243
   '("style"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
244
     "script"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
245
     "xmp"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
246
     "iframe"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
247
     "noembed"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
248
     "noframes"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
249
     "noscript"))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
250
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
251
 (defglobal +html-integration-point-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
252
   `((,(find-namespace "mathml") . "annotation-xml")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
253
     (,(find-namespace "svg") . "foreignObject")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
254
     (,(find-namespace "svg") . "desc")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
255
     (,(find-namespace "svg") . "title")))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
256
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
257
 (defglobal +mathml-text-integration-point-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
258
   `((,(find-namespace "mathml") . "mi")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
259
     (,(find-namespace "mathml") . "mo")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
260
     (,(find-namespace "mathml") . "mn")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
261
     (,(find-namespace "mathml") . "ms")
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
262
     (,(find-namespace "mathml") . "mtext")))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
263
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
264
 (defun make-hash-lookup (replacements)
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
265
   (let ((rhash (make-hash-table :test #'equalp)))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
266
     (loop for (from to) in replacements
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
267
        do (setf (gethash from rhash) to))))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
268
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
269
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
270
 (defglobal +quirks-mode-doctypes-regexp+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
271
   (cl-ppcre:create-scanner
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
272
    '(:sequence :start-anchor
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
273
      (:alternation
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
274
       "+//silmaril//dtd html pro v0r11 19970101//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
275
       "-//advasoft ltd//dtd html 3.0 aswedit + extensions//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
276
       "-//as//dtd html 3.0 aswedit + extensions//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
277
       "-//ietf//dtd html 2.0 level 1//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
278
       "-//ietf//dtd html 2.0 level 2//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
279
       "-//ietf//dtd html 2.0 strict level 1//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
280
       "-//ietf//dtd html 2.0 strict level 2//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
281
       "-//ietf//dtd html 2.0 strict//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
282
       "-//ietf//dtd html 2.0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
283
       "-//ietf//dtd html 2.1e//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
284
       "-//ietf//dtd html 3.0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
285
       "-//ietf//dtd html 3.2 final//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
286
       "-//ietf//dtd html 3.2//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
287
       "-//ietf//dtd html 3//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
288
       "-//ietf//dtd html level 0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
289
       "-//ietf//dtd html level 1//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
290
       "-//ietf//dtd html level 2//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
291
       "-//ietf//dtd html level 3//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
292
       "-//ietf//dtd html strict level 0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
293
       "-//ietf//dtd html strict level 1//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
294
       "-//ietf//dtd html strict level 2//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
295
       "-//ietf//dtd html strict level 3//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
296
       "-//ietf//dtd html strict//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
297
       "-//ietf//dtd html//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
298
       "-//metrius//dtd metrius presentational//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
299
       "-//microsoft//dtd internet explorer 2.0 html strict//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
300
       "-//microsoft//dtd internet explorer 2.0 html//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
301
       "-//microsoft//dtd internet explorer 2.0 tables//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
302
       "-//microsoft//dtd internet explorer 3.0 html strict//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
303
       "-//microsoft//dtd internet explorer 3.0 html//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
304
       "-//microsoft//dtd internet explorer 3.0 tables//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
305
       "-//netscape comm. corp.//dtd html//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
306
       "-//netscape comm. corp.//dtd strict html//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
307
       "-//o'reilly and associates//dtd html 2.0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
308
       "-//o'reilly and associates//dtd html extended 1.0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
309
       "-//o'reilly and associates//dtd html extended relaxed 1.0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
310
       "-//softquad software//dtd hotmetal pro 6.0::19990601::extensions to html 4.0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
311
       "-//softquad//dtd hotmetal pro 4.0::19971010::extensions to html 4.0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
312
       "-//spyglass//dtd html 2.0 extended//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
313
       "-//sq//dtd html 2.0 hotmetal + extensions//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
314
       "-//sun microsystems corp.//dtd hotjava html//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
315
       "-//sun microsystems corp.//dtd hotjava strict html//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
316
       "-//w3c//dtd html 3 1995-03-24//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
317
       "-//w3c//dtd html 3.2 draft//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
318
       "-//w3c//dtd html 3.2 final//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
319
       "-//w3c//dtd html 3.2//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
320
       "-//w3c//dtd html 3.2s draft//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
321
       "-//w3c//dtd html 4.0 frameset//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
322
       "-//w3c//dtd html 4.0 transitional//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
323
       "-//w3c//dtd html experimental 19960712//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
324
       "-//w3c//dtd html experimental 970421//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
325
       "-//w3c//dtd w3 html//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
326
       "-//w3o//dtd w3 html 3.0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
327
       "-//webtechs//dtd mozilla html 2.0//"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
328
       "-//webtechs//dtd mozilla html//"))))
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
329
 
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
330
 (defglobal +heading-elements+
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
331
   '("h1"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
332
     "h2"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
333
     "h3"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
334
     "h4"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
335
     "h5"
a3b65a8138ac html,http init, uuid, db stuff
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
336
     "h6"))