How to find Post, Page and Category IDs

Many themes and plugins require you to enter the ID of a post, page or category in an options page. For example when setting up the menus for the Mu Theme you can exclude certain pages by entering the IDs of pages you want to leave out of the menu. For beginners it isn’t obvious where to find these IDs. read on