Jak zmienić grubość paska przewijania w Linux Mint 19 Cinnamon?

Mam Minta ale pasek przewijania jest za cienki dla mnie bo używam touchpada zamiast myszki.

Jak zmienić aby był odrobinę grubszy co ułatwiło by mi wygodne korzystanie systemu?

Kolega programista mówił mi że muszę szukać gdzieś w konfiguracji i zmienić ją w edytorze tekstowym, ale ja nie wiem gdzie szukać.

Na początek wklej do pliku (jak go nie ma to stwórz) $HOME/.config/gtk-3.0/gtk.css :



Linie ze ''stepper'' opcjonalne - jak chcesz mieć na końcach paska strzałki krokowego przewijania.
Dostosuj do swoich potrzeb szerokość edytując wartość za GtkRange-slider-width
Działa na aplikacje GTK3 na koncie bieżącego użytkownika.




- Aktualizacja -
W Mint 19.2 Cinnamon (4.2) dodano opcję regulacji szerokości pasków przewijania.