2017 Community Wishlist Survey/Translations/Editing/Make Thanks and Undo links easier to distinguish

From Meta, a Wikimedia project coordination wiki