I've been looking around for a 65w USB-C laptop car charger for ages with no luck then i found this Lenovo travel charger.
This will charge other laptop brands and devices that supports USB-C charging.
USB PD profiles are 20v 3.25A, 15v 3A, 9v 3A, 5v 3A (aka USB PD rev. 2.0/3.0.
I received mine today and quite surprised at the size, its about 1/4 size compared to a 65w AC charger.
EDIT: Forgot to add the Input voltage is 11-26v 7A, so it will also work for 24v trucks.
Will it do Dell XPS 13 2018?