Interesting. I find that the usual four spaces give me the ideal indent length in proportional fonts.