Padding-top is badly handled in CSS transitions mode

[Yohaï-Eliel Berreby]

If you quickly double-click on a box title in CSS transitions mode, the top padding will do that:

Padding when closing the box => 0 => transition to new padding

This is not a critical issue but I will look at it.