Very crude fix for different PDF viewers