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 61 milliseconds