Removed all the mixed indentation face stuff. It's not as helpful as

it at first seems.  I think we've got a good idea of what to do, but
it'll be a bit of work... for later.