.main-title {
    /* font-family: 'Raleway',sans-serif; */
    font-size: 62px;
    font-weight: 800;
    line-height: 72px;
    /* margin: 0 0 24px; */
    /* text-align: center; */
}



/* Hindman Itself */

/* #hindman-itself { */
/*     top: 0px; */
/*     left:0px; */
/* } */
/* #hindman-itself .number-container { */
/*     position: absolute; */
/*     left: 50px; */
/*     top: 50px; */
/* } */

/* #hindman-itself .number-container .number { */
/*     transition: all 1s; */
/* } */

/* Hindman Itself 2 */

#hindman-itself-2 {
    /* transform: rotate(180deg); */
}

/* #hindman-itself-2 .number-container { */
/*     position: absolute; */
/*     left: 50px; */
/*     top: 50px; */
/* } */


/* Définissabilité */
/* #definissabilite { */
/*     top: 3000px; */
/*     left:3000px; */
/* } */

#cles .math {
    position: absolute;
    visibility:hidden;
}
#cles .math.one {
    top:800px;
}
#cles .math.algo {
    left:25%
}
#cles .math.def {
    left:70%
}
#cles .math.two {
    top:940px;
}

.slide.no-flex .slide-container {
    display: block;
}




#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;
}


#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;
}
#reverse-math-intro .column .cell.header {
    font-size: 1.2em;
    font-weight: bold;
}
#reverse-math-intro .column .cell {
    height: 50px;
    text-align: center;
    padding: 10px;
}
#reverse-math-intro .table-container {
    margin-top: 20px;
}

#weihrauch-intro .box-sol div {
    text-align: center;
    flex-grow: 1;
    display: block;
}
#weihrauch-intro .box-sol {
    position: absolute;
    display: flex;
    text-align: center;
    align-items: center;
    width:300px;
    height:100px;
    text-align: center;
    border-radius: 5px;
    background-color: pink;
    border: 1px solid black;
}

#weihrauch-intro .sol-P {
    padding-top: 10px;
    align-items: baseline;
}
#weihrauch-intro .link {
    position: absolute;
    border: 2px solid black;
    height: 0;
}
#weihrauch-intro .weihrauch-container {
    position: relative;
    height: 400px;
}
#weihrauch-intro .link-curved {
    width: 70%;
    height: 125px;
    border: 4px solid black;
    border-top: 0px solid black
}







#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;
}
h1 {
    text-align: center;
}
.cpt-slip {
    position:fixed;
    bottom: 0;
    background-color: white;
    padding:5px;
}
#titre {
    width:100%;
}
#thanks {
    background-color:white;
    position:relative;
    font-size:800px;
    top:6790px;
    left: 379px;
    z-index: 100000;
    width: 10000px;
}
#infinite {
    transform:scale(30);
    z-index:100;
    position: absolute;
    top:-360px;
    left:2900px;
}
#RMChapter {
    transform:rotate(180deg) scale(22);
    z-index:100;
    position: absolute;
    top:-360px;
    left:8000px;
}
#randomnessChapter {
    transform:scale(15);
    z-index:100;
    position: absolute;
    top:-360px;
    left:5000px;
}


#weihrauch-intro .custom-canvas {
    width:100%;
    position: relative;
    height:400px;
}
#weihrauch-intro .custom-canvas .point {
    display:inline-block;
    width: 0;
    height: 0;
    border: 15px solid black;
    border-radius: 15px;
    position: absolute;
}

#weihrauch-intro .custom-canvas .line {
    display:inline-block;
    width: 200px;
    height: 0;
    border: 3px solid black;
    position: absolute;
}

#ht .red {
    color: red;
}
#ht .blue {
    color: blue;
}


/*# sourceMappingURL=/slides.4b30133d.css.map */