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) {
bw = (LengthValue) DEFAULTS[WIDTH];
}
width = (int) bw.getValue(true);
}
return width;
}