Die portugiesischen Fans waren farbenfroh verkleidet.