Карточки в футболе. Есть желтая и красная, какой размер у данных карточек ?

Правилами игры в футбол вопрос стандартных размеров карточек судьи не урегулирован.
Традиционный размер 8 х 11,5 см.

Главное - чтобы в карман влазили и легко доставались