context:   box.highlight = function(card) {    // card may in fact be a stack    const cardbox = card.boxObject;    this.left = cardbox.x - gGameStackLeft;    this.top = cardbox.y - gGameStackTop;    this.width = cardbox.width;    const lastbox = card.parentNode.lastChild.boxObject;    if(card.isCard) this.height = lastbox.y + lastbox.height - cardbox.y;    else this.height = cardbox.height;    // xxx should use a highlight box the size of a card for an empty pile  };
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/15f3df693ddf02fb9ee6a2662189220868368b23/cardslib.js/clean/cardslib.js