Searched refs:MARGIN_TOP (Results 1 - 4 of 4) sorted by relevance
/openjdk7/jdk/src/share/classes/javax/swing/text/html/ |
H A D | HRuleView.java | 86 topMargin = getLength(CSS.Attribute.MARGIN_TOP, attr);
|
H A D | CSS.java | 336 public static final Attribute MARGIN_TOP = field in class:CSS.Attribute 399 MARGIN_TOP, PADDING, PADDING_BOTTOM, PADDING_LEFT, PADDING_RIGHT, 407 { MARGIN_TOP, MARGIN_RIGHT, MARGIN_BOTTOM, MARGIN_LEFT }; 498 valueConvertor.put(CSS.Attribute.MARGIN_TOP, lv); 926 new CSS.Attribute[]{CSS.Attribute.MARGIN_TOP, 977 CSS.Attribute.MARGIN_TOP);
|
H A D | HTMLDocument.java | 601 getStyleSheet().addCSSAttributeFromHTML(a, CSS.Attribute.MARGIN_TOP, "0");
|
H A D | StyleSheet.java | 1770 topMargin = getLength(CSS.Attribute.MARGIN_TOP, a);
|
Completed in 68 milliseconds