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")) |