A voltage divider on the input will work fine. How about 5K from the input pin to GND and 7.5K from the input pin to your 12V source. If you need a little noise
immunity, you can add a .1uF cap across the 5K resistor.