Searched refs:PR_BORDER_TOP_WIDTH (Results 1 – 2 of 2) sorted by relevance
334 int PR_BORDER_TOP_WIDTH = 55; field
666 corr.setCorresponding(PR_BORDER_TOP_WIDTH, PR_BORDER_TOP_WIDTH, in createBorderPaddingBackgroundProperties()727 PR_BORDER_TOP_WIDTH, PR_BORDER_TOP_WIDTH); in createBorderPaddingBackgroundProperties()786 bwm = new BorderWidthPropertyMaker(PR_BORDER_TOP_WIDTH); in createBorderPaddingBackgroundProperties()1194 PR_BORDER_LEFT_WIDTH, PR_BORDER_RIGHT_WIDTH, PR_BORDER_TOP_WIDTH, PR_BORDER_TOP_WIDTH in createMarginBlockProperties()