.CMSWorkspace  .CMSBootstrapBorder {
			"will remove padding borders around codemirrors"
			padding: 0px ;
	}
	.CMSWorkspace .CMSCodeArea {
			margin-bottom: 1rem;
	}	
	.CMSWorkspace .CMSResultArea {
		margin-top: 1rem;
	}
	.CMSWorkspace .CMSCodeArea .CodeMirror {
			height: 35vh;
	}
	.CMSWorkspace .CodeMirror-scroll  {
	/* the default padding-bottom (50px) is to big here, so that the execute button is partly hidden and clicks from users fail;
	because we use a fixed height in the parent (see above), we must be very carefull with default paddings...*/
	padding-bottom: 17px;
	margin-bottom: -17px;
	}
	.CMSWorkspace .CMSResultArea .CodeMirror	{
			height: 15vh;
	}