Lines Matching full:mini
492 // Just use 8px. AppKit wants to use 11px for mini buttons, but that padding is just too large
494 // by definition constrained, since we select mini only for small cramped environments.
539 // Set a min-height so that we can't get smaller than the mini button.
