Am Dienstag 22 Juli 2014, 12:09:34 schrieb Simone Di cola: > How do I change the listing font size of the whole document? > I am quite sure that it must be specified in Document->Settings->Listings > but I do not know the input parameter for setting the font at "smaller" > size.
basicstyle=\small Jürgen
