OldWDSButtons

OldWDSButtons is a minor CSS plug-in that makes the buttons look like the previous style before they had rounded corners, a larger font size and rounded corners.