Topic on Extension talk:PreToClip

If pre element is one line only, this extension changes the height of the lement on hover event to fit the button

Would be cool to preserver the height even for one liners.

I also agree that this would be a nice change, changing the css for the whole Wiki for pre elements to include min-height property might be a workaround.