/**
* Return the border width for the given side.
*/
private int getBorderWidth(int side) {
int width = 0;
BorderStyle bs = (BorderStyle) attrs.getAttribute(
ATTRIBUTES[STYLE][side]);
if ((bs != null) && (bs.getValue() != Value.NONE)) {
// The 'border-style' value of "none" forces the computed value
// of 'border-width' to be 0 (CSS2 8.5.3)
LengthValue bw = (LengthValue) attrs.getAttribute(
ATTRIBUTES[WIDTH][side]);
if (bw == null) {