> I'd be interested to know if there has ever been a period in history where the size of the federal government has gotten smaller in terms of total employees.

I think right at the end of a major war would be a good place to look.