OpenRA/OpenRA — pull request #4011 by Mailaender (2013-10-26 10:04:54+00:00)
Title: Additional polishing for UI buttons

as suggested in #4002.