So basically you are saying you have place for <20mm wide pulleys with say both diameters no bigger than 20mm

so at least the belt width is clear, it could be 15mm or 10mm.

Now the big disc seems to have 20mm shaft. question is could the shaft itself be machined as a pulley or it has to be 20mm diameter and pulley over it?