.codex {
	padding:2px;
	margin-bottom: 10px;
	clear:both;
}

/* ensure that div takes up complete rectangle, so that later text
   does not flow around it:  */
.codex::after {
    content: "";
    display: table;
    clear: both;
}


.ideControls {
	margin: 0;
  clear:both;
	overflow:auto;
}


.run {
	margin-left: 2px;
	margin-bottom: 3px;
	margin-top: 3px;
}

.solvedRadio {
	display: none;
	float:right;
	padding-top: 3px;
	padding-bottom: 3px;
	padding-left: 5px;
	padding-right: 5px;
	background-color: #EEE;

}

.editWrapper {
}

.editor {
  /*position: absolute; */
  /*width: 100px;*/
  /*height: 100px; */
  width: auto;
  /*background: #DFD;*/
}

.consoleOutput {
  width: auto;
  height: 100px;
	display: none;
	margin-top: 2px;
}

.userOutput {
  background:#FDD;
  height:400px;
  width: 400px;
  margin-left: 4px;
	margin-right: 0;
	padding-right: 0;
	margin-bottom: 4px;
  float:right;
  display:none;
	clear:both;
	overflow:hidden;
	border: 1px solid black;

}

.userOutputIframe {
  width: 100%;
  height: 100%;
  background:#FFF;
}

.pcanvas {

  width: auto;
  height: auto;

}