(paddingObj)
| 188 | |
| 189 | // Convert an unpacked padding object to a CSS value |
| 190 | function paddingToCss(paddingObj) { |
| 191 | return paddingObj.top + "px " + paddingObj.right + "px " + paddingObj.bottom + "px " + paddingObj.left + "px"; |
| 192 | } |
| 193 | |
| 194 | // Makes a number suitable for CSS |
| 195 | function px(x) { |