I don’t know if there are any CSS guidelines written out. You can always investigate the html elements by using the developer tools.
The hotkey on MacOS is Cmd-alt-i. I don’t know about the other platforms.
I found a class called .cm-gutters and changing the width works for me.