Вы знаете о возможности изменить размер/цвет границы полужирной красной границы, проявить краски вокруг ссылок (например, в файлах PDF, которые имеют активируемые по щелчку ссылки в оглавлении). Или есть ли даже возможность удалить их?
Об этой проблеме сообщили в ошибке Панели запуска Ubuntu 156643 и Gnome ошибка Bugzilla 503087.