- CellRangeDecorator: added the borderThickness option to allow the DIV position/size calculation to produce correct numbers for an arbitrary border