Uw opmerkingen

Is it also possible to change the line number's font and/or size? Did not find any option to do this.