docs: function process_col(coll/*:ColInfo*/) {
  	if(coll.width) {
  		coll.wpx = width2px(coll.width);
  		coll.wch = px2char(coll.wpx);
  		coll.MDW = MDW;
  	} else if(coll.wpx) {
  		coll.wch = px2char(coll.wpx);
  		coll.width = char2width(coll.wch);
  		coll.MDW = MDW;
  	} else if(typeof coll.wch == 'number') {
  		coll.width = char2width(coll.wch);
  		coll.wpx = width2px(coll.width);
  		coll.MDW = MDW;
  	}
  	if(coll.customWidth) delete coll.customWidth;
  }