Sensing an external voltage which switches between 12V and 0V

Other Hardware Sensors
2

I'd go for much higher resistances, in the Ks, rather than the tens, otherwise you're just burning current in your potential divider.
4k7 and 8k2 would give you about 4.4 volts.