Hi list, is there a possibility for doubling fontsize in high-resolution-environments? Some times ago Michael talked about something like that, but I didnt found something in the documentation. Tfh! Oliver