(x)
| 193 | |
| 194 | // Makes a number suitable for CSS |
| 195 | function px(x) { |
| 196 | if (typeof(x) === "number") |
| 197 | return x + "px"; |
| 198 | else |
| 199 | return x; |
| 200 | } |
| 201 | |
| 202 | // Retrieves runtime widget sizing information for an element. |
| 203 | // The return value is either null, or an object with fill, padding, |