> Is there some setting I don't know about? > Could it be the GTK theme you're using? Maybe the margins' size was affected after you changed some Gnome preference. Try changing the theme via gnome-control-center to see if this affects fonts and margins.
_______________________________________________ Conkeror mailing list [email protected] https://www.mozdev.org/mailman/listinfo/conkeror
