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