There's also
widget.gtk.overlay-scrollbars.enabled: false - always show normal scrollbar, don't just expand on hover
widget.non-native-theme.scrollbar.style: (it seems that values 1-5 are allowed)
widget.non-native-theme.scrollbar.size.override: width