According to this website, government jobs makes up about 10% of the labor force. I thought it was bigger.
Government spending is about 12% of GDP.
Here's a blog post loaded with facts about government tax revenue fromt he Washington Post.
The government has become big in other ways such as regulation and intrusive laws.