IIRC, pulsating DC at around 16KHz with a high source impedance.

Yes, The pulsating DC here is for the Yokes of the CRT. The 35kvdc is
for the Anode of the CRT which is basically the face of the CRT.