/* Formatage éditeurs Python et zones de sortie / erreurs, boutons,... */

.editeur_python, .editeur_ocaml {
	padding: 1em auto 1em auto;
	overflow: hidden;
   width: 100%; 
   margin: auto;
   border-top-style: outset;
   
  
}

.editeur-up {
	width: 100%;
	padding-top: 1em;
	min-height: 380px;
	display: flex;
	gap: 10px;
}

.editeur-out {
	flex-basis: 50%;
}

.editeur-editeur {
	flex-basis: 50%;
	flex-grow: 1;
	padding: 0.5em;	
	margin-bottom: 5px;
}

.editeur-sortie {
    display: block;
	height: 150px; /* ini : 347*/
	padding: 0.5em;
	font-size: 1em;
	font-family: monospace;
	background-color: #002240;
	border-left: 3px ridge #DF3F3F;
  	overflow-x: auto;
  	overflow-y: auto;
  	z-index: 2;
}

.editeur-sortie pre {
    margin: 0;
	width: 100%;
	max-width: 100%;
	text-wrap: wrap;
	white-space : pre-wrap;
	word-break: normal;
	hyphens: auto;
}

.editeur-sortie.editeur_ocaml {
	overflow-y: auto;
}

.std {
	height: 70%;
	padding: 10px;
	border: thick double white;
	overflow-y: scroll;
} 

.res {
	height: 30%;
	overflow-y: scroll;
} 



.editeur-graphique {
	width: 100%;
	height: 200px;
	margin-left: 0.5em;
	padding: 0.5em;
	/*display: none;*/ /*POUR UN AFFICHAGE DÈS LE DÉBUT*/
	overflow: visible;
	text-align: center;
	background: white;
	z-index: -1; /* initialement sur 1*/
	position: relative; /*POUR UN AFFICHAGE */
	left: -150px; /*DÉCALÉ À GAUCHE*/
	top: -160px;
}

/*Pour avoir la flèche rouge en face du bouton*/
/*input {
	margin-left : 20px;
}*/

.message{
	position: relative;
	left: -15px;
}

.editeur-boutons { 
	margin-left: 20px;
}

.editeur-graphique div {
    width: 95%;
    margin: auto;
}

.editeur-graphique svg {
    display: block;
    margin: auto;
}

.action {
    border: 0;
    padding: 5px 10px 5px 10px;
    margin: 5px 5px;
    height: 1.7em;
    font-size: 1.2em;
    text-align: center;
    vertical-align: middle;
    color: #fff;
    text-shadow: 1px 1px 1px #000;
    border-radius: 5px;
    background-color: rgba(50, 150, 200,200);
    background-image: linear-gradient(to top left,
                                      rgba(0, 0, 0, .2),
                                      rgba(0, 0, 0, .2) 30%,
                                      rgba(0, 0, 0, 0));
    box-shadow: inset 2px 2px 3px rgba(255, 255, 255, .6),
                inset -2px -2px 3px rgba(0, 0, 0, .6);
}

.action:hover {
    background-color: rgba(255, 0, 0, 1);
}

.action:active {
    box-shadow: inset -2px -2px 3px rgba(255, 255, 255, .6),
                inset 2px 2px 3px rgba(0, 0, 0, .6);
}

.action img {
	height: 1.2em;
}

.editeur-loaded-files {
	padding: 0.5em;
	font-size: 1em;
}

.editeur-loaded-files > span{
	padding: 0 0.5em 0 0.5em;
}

.codearea {
	resize: both;
	width: 100%;
	height: 100%;
	margin: 1em auto;
	background-color:#000;
	color:#fff;
	font-family:monospace;
	font-size:1.2em;
}

.clignote  {
	color: white;
	background-color: red;
   animation-duration: 1s;
   animation-name: clignoter;
   animation-iteration-count: infinite;
   transition: none;
}
@keyframes clignoter {
  0%   { opacity:1; }
  40%   {opacity:0; }
  100% { opacity:1; }
}