mirror of
https://github.com/servo/servo.git
synced 2025-06-16 12:24:29 +00:00
586c12ccc4
`cellspacing` attribute per HTML5 § 14.3.9. Table layout code has been refactored to push the spacing down to rowgroups and rows; this will aid the implementation of `border-collapse` as well. This commit also fixes two nasty issues in table layout: * In fixed layout, extra space would not be divided among columns that had auto width but had nonzero minimum width. * In automatic layout, extra space would be distributed to constrained columns as well even if unconstrained columns with percentage equal to zero were present.
186 lines
8.2 KiB
Text
186 lines
8.2 KiB
Text
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this file,
|
|
* You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
*
|
|
* The origin of this IDL file is
|
|
* http://dev.w3.org/csswg/cssom/#the-cssstyledeclaration-interface
|
|
*
|
|
* Copyright © 2013 W3C® (MIT, ERCIM, Keio, Beihang), All Rights Reserved.
|
|
*/
|
|
|
|
interface CSSStyleDeclaration {
|
|
//[SetterThrows]
|
|
// attribute DOMString cssText;
|
|
readonly attribute unsigned long length;
|
|
getter DOMString item(unsigned long index);
|
|
DOMString getPropertyValue(DOMString property);
|
|
DOMString getPropertyPriority(DOMString property);
|
|
[Throws]
|
|
void setProperty(DOMString property, [TreatNullAs=EmptyString] DOMString value,
|
|
[TreatNullAs=EmptyString] optional DOMString priority = "");
|
|
[Throws]
|
|
void setPropertyValue(DOMString property, [TreatNullAs=EmptyString] DOMString value);
|
|
|
|
[Throws]
|
|
void setPropertyPriority(DOMString property, [TreatNullAs=EmptyString] DOMString priority);
|
|
|
|
[Throws]
|
|
DOMString removeProperty(DOMString property);
|
|
//readonly attribute CSSRule? parentRule;
|
|
[SetterThrows]
|
|
attribute DOMString cssFloat;
|
|
};
|
|
|
|
partial interface CSSStyleDeclaration {
|
|
[TreatNullAs=EmptyString] attribute DOMString background;
|
|
[TreatNullAs=EmptyString] attribute DOMString backgroundColor;
|
|
[TreatNullAs=EmptyString] attribute DOMString backgroundPosition;
|
|
[TreatNullAs=EmptyString] attribute DOMString backgroundRepeat;
|
|
[TreatNullAs=EmptyString] attribute DOMString backgroundImage;
|
|
[TreatNullAs=EmptyString] attribute DOMString backgroundAttachment;
|
|
[TreatNullAs=EmptyString] attribute DOMString backgroundSize;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString border;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderCollapse;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderColor;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderRadius;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderSpacing;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderStyle;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderWidth;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderBottom;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderBottomColor;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderBottomLeftRadius;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderBottomRightRadius;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderBottomStyle;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderBottomWidth;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderLeft;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderLeftColor;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderLeftStyle;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderLeftWidth;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderRight;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderRightColor;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderRightStyle;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderRightWidth;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderTop;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderTopColor;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderTopLeftRadius;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderTopRightRadius;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderTopStyle;
|
|
[TreatNullAs=EmptyString] attribute DOMString borderTopWidth;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString content;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString color;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString display;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString opacity;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString visibility;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString cursor;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString boxSizing;
|
|
[TreatNullAs=EmptyString] attribute DOMString boxShadow;
|
|
[TreatNullAs=EmptyString] attribute DOMString textShadow;
|
|
|
|
//[TreatNullAs=EmptyString] attribute DOMString float; //XXXjdm need BinaryName annotation
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString clear;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString clip;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString direction;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString filter;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString lineHeight;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString mixBlendMode;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString verticalAlign;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString listStyle;
|
|
[TreatNullAs=EmptyString] attribute DOMString listStylePosition;
|
|
[TreatNullAs=EmptyString] attribute DOMString listStyleType;
|
|
[TreatNullAs=EmptyString] attribute DOMString listStyleImage;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString quotes;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString counterIncrement;
|
|
[TreatNullAs=EmptyString] attribute DOMString counterReset;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString overflow;
|
|
[TreatNullAs=EmptyString] attribute DOMString overflowX;
|
|
[TreatNullAs=EmptyString] attribute DOMString overflowY;
|
|
[TreatNullAs=EmptyString] attribute DOMString overflowWrap;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString tableLayout;
|
|
[TreatNullAs=EmptyString] attribute DOMString emptyCells;
|
|
[TreatNullAs=EmptyString] attribute DOMString captionSide;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString whiteSpace;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString writingMode;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString letterSpacing;
|
|
[TreatNullAs=EmptyString] attribute DOMString wordBreak;
|
|
[TreatNullAs=EmptyString] attribute DOMString wordSpacing;
|
|
[TreatNullAs=EmptyString] attribute DOMString wordWrap;
|
|
[TreatNullAs=EmptyString] attribute DOMString textOverflow;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString textAlign;
|
|
[TreatNullAs=EmptyString] attribute DOMString textDecoration;
|
|
[TreatNullAs=EmptyString] attribute DOMString textIndent;
|
|
[TreatNullAs=EmptyString] attribute DOMString textJustify;
|
|
[TreatNullAs=EmptyString] attribute DOMString textOrientation;
|
|
[TreatNullAs=EmptyString] attribute DOMString textRendering;
|
|
[TreatNullAs=EmptyString] attribute DOMString textTransform;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString font;
|
|
[TreatNullAs=EmptyString] attribute DOMString fontFamily;
|
|
[TreatNullAs=EmptyString] attribute DOMString fontSize;
|
|
[TreatNullAs=EmptyString] attribute DOMString fontStretch;
|
|
[TreatNullAs=EmptyString] attribute DOMString fontStyle;
|
|
[TreatNullAs=EmptyString] attribute DOMString fontVariant;
|
|
[TreatNullAs=EmptyString] attribute DOMString fontWeight;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString margin;
|
|
[TreatNullAs=EmptyString] attribute DOMString marginBottom;
|
|
[TreatNullAs=EmptyString] attribute DOMString marginLeft;
|
|
[TreatNullAs=EmptyString] attribute DOMString marginRight;
|
|
[TreatNullAs=EmptyString] attribute DOMString marginTop;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString padding;
|
|
[TreatNullAs=EmptyString] attribute DOMString paddingBottom;
|
|
[TreatNullAs=EmptyString] attribute DOMString paddingLeft;
|
|
[TreatNullAs=EmptyString] attribute DOMString paddingRight;
|
|
[TreatNullAs=EmptyString] attribute DOMString paddingTop;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString outline;
|
|
[TreatNullAs=EmptyString] attribute DOMString outlineColor;
|
|
[TreatNullAs=EmptyString] attribute DOMString outlineStyle;
|
|
[TreatNullAs=EmptyString] attribute DOMString outlineWidth;
|
|
[TreatNullAs=EmptyString] attribute DOMString outlineOffset;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString position;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString pointerEvents;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString top;
|
|
[TreatNullAs=EmptyString] attribute DOMString right;
|
|
[TreatNullAs=EmptyString] attribute DOMString left;
|
|
[TreatNullAs=EmptyString] attribute DOMString bottom;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString height;
|
|
[TreatNullAs=EmptyString] attribute DOMString minHeight;
|
|
[TreatNullAs=EmptyString] attribute DOMString maxHeight;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString width;
|
|
[TreatNullAs=EmptyString] attribute DOMString minWidth;
|
|
[TreatNullAs=EmptyString] attribute DOMString maxWidth;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString zIndex;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString imageRendering;
|
|
};
|