const DEBUG = false ;


function DbgDecorateCard(a_card)
{
  var dbg_span                   = document.createElement('span') ;
  dbg_span.style.backgroundColor = '#000' ;
  dbg_span.style.color           = '#FFF' ;
  dbg_span.style.fontSize        = 'x-large' ;
  dbg_span.textContent           = a_card.suit + a_card.rank ;

  a_card.el[0].appendChild(dbg_span) ;
}