How much do government employees get paid?

Civics 101 - A podcast by NHPR - Tuesdays

How much do we pay our government employees? Who gets the most? And, more importantly, what kind of money do they make once they leave office?