'RichButtons' is a set of button styles for Android applications.