WordPress "editor-styles" to go along "Styles" editor drop down for margin entries

gistfile1.css

span.margin-class-applied,
#tinymce.wp-editor span.margin-class-applied
{
	display: inline-block;
}

.margin-bottom-none,
#tinymce.wp-editor .margin-bottom-none
{
	margin-bottom: 0;
}

.margin-bottom-x1,
#tinymce.wp-editor .margin-bottom-x1
{
	margin-bottom: 25px;
}

.margin-bottom-x2,
#tinymce.wp-editor .margin-bottom-x2
{
	margin-bottom: 50px;
}

.margin-bottom-x3,
#tinymce.wp-editor .margin-bottom-x3
{
	margin-bottom: 75px;
}

.margin-bottom-x4,
#tinymce.wp-editor .margin-bottom-x4
{
	margin-bottom: 100px;
}

.margin-top-none,
#tinymce.wp-editor .margin-top-none
{
	margin-top: 0;
}

.margin-top-x1,
#tinymce.wp-editor .margin-top-x1
{
	margin-top: 25px;
}

.margin-top-x2,
#tinymce.wp-editor .margin-top-x2
{
	margin-top: 50px;
}

.margin-top-x3,
#tinymce.wp-editor .margin-top-x3
{
	margin-top: 75px;
}

.margin-top-x4,
#tinymce.wp-editor .margin-top-x4
{
	margin-top: 100px;
}

.margin-ends-none,
#tinymce.wp-editor .margin-ends-none
{
	margin-top: 0;
	margin-bottom: 0;
}

.margin-ends-x1,
#tinymce.wp-editor .margin-ends-x1
{
	margin-top: 25px;
	margin-bottom: 25px;
}

.margin-ends-x2,
#tinymce.wp-editor .margin-ends-x2
{
	margin-top: 50px;
	margin-bottom: 50px;
}

.margin-ends-x3,
#tinymce.wp-editor .margin-ends-x3
{
	margin-top: 75px;
	margin-bottom: 75px;
}

.margin-ends-x4,
#tinymce.wp-editor .margin-ends-x4
{
	margin-top: 100px;
	margin-bottom: 100px;
}