#case1_ex12,#case2_ex12,#case3_ex12,#case4_ex12{
	width: 2.4em;
	font-size: 0.9em;
}

#moncode{
	width: 800px;
}

.decalee1{
	margin-left:42%;
	width:5%;
}

.decalee1:hover {
	opacity: 0.8;
}

.decalee2{
	margin-left:32%;
}

.CodeMirror {
	border: 1px solid #2e84ed;
	height: auto;
	margin-left: 0%;		
      }

#d1_ex12{
	float:left;
	width:95%;
}

#d2_ex12{
	margin-left: 20%;
	margin-bottom: 2%;
	float:left;
	width:50%;
}

#d3_ex12{
	float:left;
	width:95%;
}
