CSS .v-margins?

Hello folks,

Vaadin6:

v-horizontallayout-top-navigation-breadcrumb-container .v-horizontallayout-margin {
padding: 1px 1px 1px 10px;
}

Vaadin7:

It seems that vaadin 7 add margin style classes to the layout depending on layout.setMargin

.v-horizontallayout-top-navigation-breadcrumb-container.v-margin-left {
padding-left: 10px;
}
.v-horizontallayout-top-navigation-breadcrumb-container.v-margin-top {
padding-top: 1px;
}
.v-horizontallayout-top-navigation-breadcrumb-container.v-margin-right {
padding-right: 1px;
}
.v-horizontallayout-top-navigation-breadcrumb-container.v-margin-bottom {
padding-bottom: 1px;
}

I guess there is no “short version” in Vaadin 7 (like in Vaadin 6) ?

.v-horizontallayout-top-navigation-breadcrumb-container.v-margins {
padding: 1px 1px 1px 10px;
}

So I have to migrate a lot of css code :-]
Have anybody an little converter script :wink: ?

Kind Regards
Andreas
http://www.ahoehma.de