is that a plug-in you are using or is that just static html for the buttons? If you need a plug-in that will achieve the same affect try referring to wp-page-numbers. You can style it to your liking and it has great customization features.
If not i would be willing to pay someone to code such a plugin!
