rem: if (name == "borderWidth") this._header.style.borderWidth = value; 
add:  if (name == "borderWidth") { value = parseInt(value) >= 2 ? 2 : 1; this._headerBorderSizeSub = value * 2; value += "px"; this._header.style.borderWidth = value; if (this._inited) this.setHeight(this._height); } 
context:     setStyle: function(name, value) {        arguments.callee.$.call(this, name, value);        if (name == "borderWidth") this._header.style.borderWidth = value;    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/08678d7dea9b1128e89dae68c0cc8da8c8dec68c/DateBox.js/buggy/src/thinwire/render/web/resources/DateBox.js