Actually I think you can technically mix. They have a "conversion factor". But don't, because then the code will look like crap on any other tab size (defeating the point of using tabs in the first place)

I think it would be better that each line needs to start with the exact same bytes to be considered within the same indent level. But I don't think that is the decision Guido made.