About the hover/animate padding thing above, I cre...

# tornadofx

[edvin]

About the hover/animate padding thing above, I created a verticalPadding property backed by the actual vertical padding, so that I could animate that instead.