Fix the height of the labels in the library list, so that the generated dots can't make them grow. Refs #1735.