Add several non-standard but very common CSS properties

Namely, text-overflow, text-size-adjust, user-select, zoom