rem: s.height = "20px"; 
add: s.height = "15px"; 
context:     getDragBox: function(event) {        var cell = tw_getEventTarget(event);        if (cell == null) return null;        var dragBox = document.createElement("div");        var s = dragBox.style;        s.position = "absolute";        s.textAlign = "center";        s.width = "75px";        s.height = "20px";        s.fontFamily = this._fontBox.style.fontFamily;        s.fontSize = this._fontBox.style.fontSize;        s.backgroundColor = tw_COLOR_WINDOW;        dragBox._dragObject = this._getFormattedDate(this._getDate(cell));        dragBox.appendChild(document.createTextNode(dragBox._dragObject));                return dragBox;    },
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