GNOME3: adjust the ToC side pane width and padding