splash: try to use a dpi independent font size
better logging of shader errors
fix #1592 wizard attached to top/bottom