Most types of capacitor include a dielectric spacer, which increases their capacitance. What sort of capacitors have not traditionally been used in radio tuning circuits