Is The Government Too Big?

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.