Added left/right margins on GtkSourceView.