Is there an easy way to decrease the gutter width? Most of my notes have 2 or 3 digit line numbers and right now it looks like there’s room for 5 digits with the default theme and 12 digits with minimal. if i collapse the left sidebar there is even more wasted space! i don’t mind mucking around with CSS files if someone told me what to add or edit. i can’t seem to find anything that refers to the gutter width.