1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
var obsoleteElements = {
marquee: {
behavior: {
type: {
type: "enum",
keywords: ["scroll", "slide", "alternate"],
defaultVal: "scroll"
},
},
bgColor: "string",
direction: {
type: {
type: "enum",
keywords: ["up", "right", "down", "left"],
defaultVal: "left"
},
},
height: "string",
hspace: "unsigned long",
scrollAmount: {type: "unsigned long", defaultVal: 6},
scrollDelay: {type: "unsigned long", defaultVal: 85},
trueSpeed: "boolean",
vspace: "unsigned long",
width: "string",
},
frameset: {
cols: "string",
rows: "string",
},
frame: {
name: "string",
scrolling: "string",
src: "url",
frameBorder: "string",
longDesc: "url",
noResize: "boolean",
marginHeight: {type: "string", treatNullAsEmptyString: true},
marginWidth: {type: "string", treatNullAsEmptyString: true},
},
dir: {
compact: "boolean",
},
font: {
color: {type: "string", treatNullAsEmptyString: true},
face: "string",
size: "string",
},
};
mergeElements(obsoleteElements);
|
