1998-10-20 17:07:23 +00:00
|
|
|
interface HTMLBaseFontElement : HTMLElement {
|
|
|
|
|
/* IID: { 0xa6cf90a6, 0x15b3, 0x11d2, \
|
|
|
|
|
{ 0x93, 0x2e, 0x00, 0x80, 0x5f, 0x8a, 0xdd, 0x32 } } */
|
|
|
|
|
|
|
|
|
|
attribute DOMString color;
|
|
|
|
|
attribute DOMString face;
|
|
|
|
|
attribute DOMString size;
|
|
|
|
|
};
|
