[X] normal.png [ ] bold.png I haven't fully followed this thread so not sure if this applies to comments, object names or everything, anyway - I hope we will keep at least one large/heavyweight font for lecture slides, it's hard to see courier on the beamer my 2c andy