(self)
| 1577 | MathTextWarning) |
| 1578 | |
| 1579 | def shrink(self): |
| 1580 | for child in self.children: |
| 1581 | child.shrink() |
| 1582 | Box.shrink(self) |
| 1583 | if self.size < NUM_SIZE_LEVELS: |
| 1584 | self.shift_amount *= SHRINK_FACTOR |
| 1585 | self.glue_set *= SHRINK_FACTOR |
| 1586 | |
| 1587 | def grow(self): |
| 1588 | for child in self.children: |