Da der browser webseiten seit neuestem automatisch skaliert und zudem die windows dpi setting ignoriert, habe ich ihn durch chrome ersetzt.