We had a member on the forum here put a smaller pulley on an oem alternator. So it would give him 14.0v at idle as he was tired of his rig fan slowing down and lights dimming at idle especially in the winter. So fixed the issue by changing the pulley. I may do the same as I don't like that with my heating fan running full with the lights and both wipers slowing down at idle...:-) I really don't need any more power in my rigs but I like faster fan speed in the winter..
So a smaller pulley on either oem or larger alternator will effectively correct the give you higher voltage /amps at idle.
So your thought of a smaller pulley will fix this problem. :-)
Maybe this will help for calculations.
Pulley Calculator
__________________
7 3rd gens listed in the build thread (2 are parts mobiles)
Build Thread:
https://www.toyota-4runner.org/3rd-g...os-builds.html
Brillo's Bucket Fluid Ex changer:
https://www.toyota-4runner.org/3rd-g...ml#post3358086
Sparks Plugs Wire and Coil Information:
https://www.toyota-4runner.org/3rd-g...on-5vz-fe.html