1998-10-20 17:07:23 +00:00
|
|
|
interface HTMLElement : Element {
|
|
|
|
/* IID: { 0xa6cf9085, 0x15b3, 0x11d2, \
|
|
|
|
{ 0x93, 0x2e, 0x00, 0x80, 0x5f, 0x8a, 0xdd, 0x32 } } */
|
|
|
|
|
|
|
|
attribute DOMString id;
|
|
|
|
attribute DOMString title;
|
|
|
|
attribute DOMString lang;
|
|
|
|
attribute DOMString dir;
|
|
|
|
attribute DOMString className;
|
|
|
|
readonly attribute CSSStyleDeclaration style;
|
2000-02-16 02:25:27 +00:00
|
|
|
|
|
|
|
/* Temporary till we find a place for them */
|
|
|
|
readonly attribute int offsetTop;
|
|
|
|
readonly attribute int offsetLeft;
|
|
|
|
readonly attribute int offsetWidth;
|
|
|
|
readonly attribute int offsetHeight;
|
|
|
|
readonly attribute Element offsetParent;
|
2000-05-11 21:49:16 +00:00
|
|
|
attribute DOMString innerHTML;
|
1998-10-20 17:07:23 +00:00
|
|
|
};
|