Изменить размер шрифта верхней панели в Ubuntu 20.04

Кто-нибудь пробовал изменить размер шрифта верхней панели в Ubuntu 20.04? Похоже, подход к модификации был изменен по сравнению с Ubuntu 18.04. Я сделал рекомендации из этого вопроса . Я изменил размер шрифта в разделе stage , но похоже, что это применяется только к экрану входа в систему.

/* Global Values */
stage {
  font-size: 9pt;
  color: #3D3D3D; }

Итак, на экране входа в систему все выглядит правильно:

Но в пользовательской сессии ничего не меняется:

Если у кого-то есть идеи, как изменить размер шрифта верхней панели в Ubuntu 20.04, поделитесь, пожалуйста. Спасибо!