I'd like to see an easy way to change the default listing font without messing with css by hand. Even a rough "smallest, small, normal, large" type would do. The default font seems way too big, a smaller one would be more useful on large library listings.
Thanks.
