Increase width of processor list slightly, so processors with longer names fit better into the list.