Another dumb question......Is the diameter of a pulley measured by the
overall outside diameter or the smaller inside diameter where the
bottom of the belt rides?