Den Font teste ich, danke. So ganz bin ich aktuell nicht zufrieden mit meinen Einstellungen: der Vorteil von PhpStorm ist, dass man so viel einstellen kann, der Nachteil ist, dass man soviel einstellen kann.

Lass mal das Wort Server weg bei einer Hardwareempfehlung. Wenn ich einen Profi-Server bräuchte, würde ich IBM o. ä. nehmen, mir schwebt was in Art von Desktop oder Kompakt vor.