#calcul .put-canal {
    background:lightyellow;
    width:100px;
    height:56px;
    border-top:	1px solid black;
    border-bottom: 1px solid black;
    z-index:0
}

#calcul .input-canal {
    margin-right:-2px;
}
#calcul .output-canal {
    margin-left:-2px;
}

#calcul .put {
    position:absolute; 
}
#calcul .input  {
    left: -30%;
}
#calcul .input.putted  {
    left: 10%;
}
#calcul .output  {
    right: 1%;
    opacity: 0;
    transition: opacity 1s, left 1s, right 1s;
}
#calcul .output2  {
    right: 1%;
    opacity: 0;
}
#calcul .output.putted, #calcul .output2.putted {
    right: -40%;
    opacity: 1;
    /* opacity: 1; */
}

#calcul #canvas-tm1 {
    /* opacity:0; */
    /* transition: opacity 1s ease 1s; */
}
#calcul .canvases {
    position:absolute;
}

#calcul .label {
    position: absolute;
    left: 65%;
    top: 10px;
    font-size: 1.1em;
    opacity: 0;
}

/* #cles .container { */
/*       display:flex; */
/*     justify-content:space-between; */
/*     flex-wrap:wrap;/\* so they do not overlap each other if space too short *\/ */
/* } */
/* #cles .container span:first-of-type:after, #cles .container span:last-of-type:before { */
/*     content:''; */
/*     display:inline-block;/\* enough , no width needed , it will still generate a space between *\/ */
/* } */
#calcul .concontainer > * {
    display: inline-block;
}
#calcul .concontainer .after {
    grid-column: 3/3;
    text-align: center;
    /* width: 300px; */
}
#calcul .concontainer .arrow {
    /* width: 113px; */
    text-align: center;
    grid-column: 2/2;
    text-align: center;
}
#calcul .concontainer .before {
    grid-column: 1/1;
    text-align: center;
}
#calcul .concontainer .haut {
    grid-row: 1/1;
}
#calcul .concontainer .milieu {
    grid-row: 2/2;
}
#calcul .concontainer .bas {
    grid-row: 3/3;
}
#calcul .concontainer {
    display: flex;
    justify-content: space-around;
    grid-template-columns: auto 1fr auto;
    text-align: center;
    margin-top: 10px;
}
#calcul .concontainer {
    text-align: left;
    padding:3px;
    padding-top:10px;
}




#ittms-def .lambda {
    color: red;
}
#ittms-def .zeta {
    color: blue;
}
#ittms-def .Sigma {
    color: green;
}

.h0 {
    opacity:0
}






#randomness-intro .js-random, #randomness-intro .all-zeros {
    display: flex;
    align-items: center;
}
#randomness-intro .coin-container {
    display: flex;
    justify-content: space-between;
}
#randomness-intro .coin {
  /* position: relative; */
  /* margin: 0 auto; */
    width: 50px;
    margin: 10px;
  height: 50px;
  display:inline;
  transform: rotateY(90deg);
  /* cursor: pointer; */
}
#randomness-intro .coin div {
  width: 100%;
  height: 100%;
  -webkit-border-radius: 50%;
     -moz-border-radius: 50%;
          border-radius: 50%;
  -webkit-box-shadow: inset 0 0 45px rgba(255,255,255,.3), 0 12px 20px -10px rgba(0,0,0,.4);
     -moz-box-shadow: inset 0 0 45px rgba(255,255,255,.3), 0 12px 20px -10px rgba(0,0,0,.4);
          box-shadow: inset 0 0 45px rgba(255,255,255,.3), 0 12px 20px -10px rgba(0,0,0,.4);
}
#randomness-intro .side-a {
  background-color: #bb0000;
}
#randomness-intro .side-b {
  background-color: #0000bb;
}

#randomness-intro .coin {
  transition: -webkit-transform 1s ease-in;
  -webkit-transform-style: preserve-3d;
}
#randomness-intro .coin div {
  position: absolute;
  -webkit-backface-visibility: hidden;
}
#randomness-intro .side-a {
  z-index: 100;
}
#randomness-intro .side-b {
  -webkit-transform: rotateY(-180deg);

}

#randomness-intro .coin.heads {
  -webkit-animation: flipHeads 0.75s ease-out forwards;
     -moz-animation: flipHeads 0.75s ease-out forwards;
       -o-animation: flipHeads 0.75s ease-out forwards;
          animation: flipHeads 0.75s ease-out forwards;
}
#randomness-intro .coin.tails {
  -webkit-animation: flipTails 0.75s ease-out forwards;
     -moz-animation: flipTails 0.75s ease-out forwards;
       -o-animation: flipTails 0.75s ease-out forwards;
          animation: flipTails 0.75s ease-out forwards;
}

@-webkit-keyframes flipHeads {
  from { -webkit-transform: rotateY(90deg); -moz-transform: rotateY(90deg); transform: rotateY(90deg); }
  to { -webkit-transform: rotateY(900deg); -moz-transform: rotateY(900deg); transform: rotateY(900deg); }
}
@-webkit-keyframes flipTails {
  from { -webkit-transform: rotateY(270deg); -moz-transform: rotateY(270deg); transform: rotateY(270deg); }
  to { -webkit-transform: rotateY(1080deg); -moz-transform: rotateY(1080deg); transform: rotateY(1080deg); }
}

#randomness-intro .equal-container > div {
    display:none;
}
#randomness-intro .equal-container.proba-0 > div.proba-0 {
    display:block;
}
#randomness-intro .equal-container.proba-1 > div.proba-1 {
    display:block;
}
#randomness-intro .equal-container.proba-2 > div.proba-2 {
    display:block;
}
#randomness-intro .equal-container.proba-3 > div.proba-3 {
    display:block;
}
#randomness-intro .equal-container.proba-4 > div.proba-4 {
    display:block;
}
#randomness-intro .equal-container.proba-5 > div.proba-5 {
    display:block;
}
#randomness-intro .equal-container.proba-6 > div.proba-6 {
    display:block;
}
#randomness-intro .equal-container.proba-7 > div.proba-7 {
    display:block;
}
#randomness-intro .equal-container.proba-8 > div.proba-8 {
    display:block;
}
#randomness-intro .equal-container.proba-9 > div.proba-9 {
    display:block;
}
#randomness-intro .equal-container.proba-10 > div.proba-10 {
    display:block;
}
#randomness-intro .equal-container.proba-11 > div.proba-11 {
    display:block;
}
#randomness-intro .equal-container.proba-12 > div.proba-12 {
    display:block;
}
#randomness-intro .equal-container.proba-13 > div.proba-13 {
    display:block;
}
#randomness-intro .equal-container.proba-14 > div.proba-14 {
    display:block;
}
#randomness-intro .discriminante, #randomness-ittm .discriminante {
    color: red;
}
#randomness-intro .simple, #randomness-ittm .simple  {
    color: blue;
}
#randomness-intro .objet {
    color: green;
}


.deb1 {
    opacity: 0
}


#rm .axiom {
    border: solid 1px black;
    border-radius: 5px;
    margin: 5px;
    padding: 5px;
    display:inline-block;
}
#rm .big-five {
    border-radius: 5px;
    margin: 5px;
    padding: 5px;
}



#ht .number-container {
    display: flex;
    flex-wrap: wrap;
    margin: 10px; 
}
#ht .number-container .number {
    width: 100px;
    text-align: center;
}
#ht .number-container .number.removed {
    background-color: black;
    opacity: 0.3;
    /* color:black !important */
}
#ht .number-container .number.selected {
    background-color: yellowgreen;
}
#ht .number-container .number.selected2 {
    background-color: #AF8B65;
}
#ht .number-container .number.candidate {
    background-color: pink;
}

#ht .clone {
    width: 50%;
    margin-left: auto;
    margin-right: auto;
}
#ht .clone .number {
    position: relative;
    transition: left 1s, top 1s, right 1s;
    top: 0;
    right: 0;
    left: 0;
}
#ht .clone .number.left {
    top:400px;
    left:-55%;
}
#ht .clone .number.right {
    top:400px;
    left:55%;
}
#ht .barre {
    text-decoration: line-through;
}
#ht .fm-def {
    margin-top: 410px;
}

.torm1 {
    opacity: 0;
}

#ht .red {
    color: red;
}
#ht .blue {
    color: blue;
}
/* .toc-function+.toc-function:not(.current) { */
/*     display:none */
/* } */


/* #calcul .input.putted  { */
/*     left: 34%; */
/* } */
/* #calcul .output  { */
/*     left: 62%; */
/*     opacity: 0; */
/*     transition: opacity 1s, left 1s; */
/* } */
/* #calcul .output2  { */
/*     left: 62%; */
/*     opacity: 0; */
/* } */
/* #calcul .output.putted, #calcul .output2.putted { */
/*     left: 85%; */
/*     opacity: 1; */
/*     /\* opacity: 1; *\/ */
/* } */