Seguindo várias idéias na internet consegui modificar minhas barras de rolagem fazendo várias configurações no arquivo:
/root/.config/gtk-3.0/gtk.css
... mas uma coisa que ainda não descobri como fazer é fazer com que as setas para cima e para baixo rolem mais rápido - elas são extremamente lentas. Isso não funciona:
scrollbar
{
-GtkScrollbar-has-backward-stepper: true; < works
-GtkScrollbar-has-forward-stepper: true; < works
background-color: #cccccc; < works
-GtkRange-upper-stepper-sensitivity: 100; < does not work
}
... algo que eu possa fazer? No melhor de todos os mundos possíveis, talvez as setas possam fazer uma 'página para cima' no terminal.