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.
Topic on Extension talk:PreToClip
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.