Awesome, thanks.
"17" is fine, but I agree that "29" is more readable. Depends on screen res/size too I guess.
For me it's fine because I don't check the tray often, and "I like it simple". ;)
btw, you could make the antialiasing a (global) option, so you won't get "degraded" quality for the...