To my knowledge, the adjustment is linear, meaning if you double the size of the batch, you double the amount of each ingredient. I've adjusted batch sizes this way without any problem.
So, for a 5 gal batch of this recipe, multiply by 1.43:
12.5 lb Pilsen Malt
4.3 lb Munich 10L Malt
8.6 oz...