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.
1 file changed