Как изменить размер значка области уведомлений в Ubuntu MATE 17.04?

Для GNOME 3.6 есть расширение по адресу https://extensions.gnome.org/extension/112/remove-accesibility/, которое решает проблему. Это работало для меня в Ubuntu 12.10.