mirror of
https://github.com/servo/servo
synced 2026-05-01 20:07:22 +02:00
script: Implement the color attribute of the <font> element.
Improves Hacker News.
This commit is contained in:
@@ -5,7 +5,7 @@
|
||||
|
||||
// https://www.whatwg.org/html/#htmlfontelement
|
||||
interface HTMLFontElement : HTMLElement {
|
||||
//[TreatNullAs=EmptyString] attribute DOMString color;
|
||||
[TreatNullAs=EmptyString] attribute DOMString color;
|
||||
// attribute DOMString face;
|
||||
// attribute DOMString size;
|
||||
};
|
||||
|
||||
Reference in New Issue
Block a user