The belt I used was a Gates Micro V KO61080. Depending on which small pulleys you use, your belt application may be a shade larger or smaller.
When I was in the junkyard, I pulled a bunch of different pulleys off some GM cars. Not sure which ones I used, but I sized the belt accordingly. This belt size should get you close with the recommended pulleys on the linked website.

