pdb: pdb definitions for spacing in tool options