{"version":3,"sources":["slides.css"],"names":[],"mappings":"AAAA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA","file":"slides.4b30133d.css","sourceRoot":"../example","sourcesContent":["\n.main-title {\n    /* font-family: 'Raleway',sans-serif; */\n    font-size: 62px;\n    font-weight: 800;\n    line-height: 72px;\n    /* margin: 0 0 24px; */\n    /* text-align: center; */\n}\n\n\n\n/* Hindman Itself */\n\n/* #hindman-itself { */\n/*     top: 0px; */\n/*     left:0px; */\n/* } */\n/* #hindman-itself .number-container { */\n/*     position: absolute; */\n/*     left: 50px; */\n/*     top: 50px; */\n/* } */\n\n/* #hindman-itself .number-container .number { */\n/*     transition: all 1s; */\n/* } */\n\n/* Hindman Itself 2 */\n\n#hindman-itself-2 {\n    /* transform: rotate(180deg); */\n}\n\n/* #hindman-itself-2 .number-container { */\n/*     position: absolute; */\n/*     left: 50px; */\n/*     top: 50px; */\n/* } */\n\n\n/* Définissabilité */\n/* #definissabilite { */\n/*     top: 3000px; */\n/*     left:3000px; */\n/* } */\n\n#cles .math {\n    position: absolute;\n    visibility:hidden;\n}\n#cles .math.one {\n    top:800px;\n}\n#cles .math.algo {\n    left:25%\n}\n#cles .math.def {\n    left:70%\n}\n#cles .math.two {\n    top:940px;\n}\n\n.slide.no-flex .slide-container {\n    display: block;\n}\n\n\n\n\n#calcul .put-canal {\n    background:lightyellow;\n    width:100px;\n    height:56px;\n    border-top:\t1px solid black;\n    border-bottom: 1px solid black;\n    z-index:0\n}\n\n#calcul .input-canal {\n    margin-right:-2px;\n}\n#calcul .output-canal {\n    margin-left:-2px;\n}\n\n#calcul .put {\n    position:absolute; \n}\n#calcul .input  {\n    left: -30%;\n}\n#calcul .input.putted  {\n    left: 10%;\n}\n#calcul .output  {\n    right: 1%;\n    opacity: 0;\n    transition: opacity 1s, left 1s, right 1s;\n}\n#calcul .output2  {\n    right: 1%;\n    opacity: 0;\n}\n#calcul .output.putted, #calcul .output2.putted {\n    right: -40%;\n    opacity: 1;\n    /* opacity: 1; */\n}\n\n#calcul #canvas-tm1 {\n    /* opacity:0; */\n    /* transition: opacity 1s ease 1s; */\n}\n#calcul .canvases {\n    position:absolute;\n}\n\n#calcul .label {\n    position: absolute;\n    left: 65%;\n    top: 10px;\n    font-size: 1.1em;\n    opacity: 0;\n}\n\n/* #cles .container { */\n/*       display:flex; */\n/*     justify-content:space-between; */\n/*     flex-wrap:wrap;/\\* so they do not overlap each other if space too short *\\/ */\n/* } */\n/* #cles .container span:first-of-type:after, #cles .container span:last-of-type:before { */\n/*     content:''; */\n/*     display:inline-block;/\\* enough , no width needed , it will still generate a space between *\\/ */\n/* } */\n#calcul .concontainer > * {\n    display: inline-block;\n}\n#calcul .concontainer .after {\n    grid-column: 3/3;\n    text-align: center;\n    /* width: 300px; */\n}\n#calcul .concontainer .arrow {\n    /* width: 113px; */\n    text-align: center;\n    grid-column: 2/2;\n    text-align: center;\n}\n#calcul .concontainer .before {\n    grid-column: 1/1;\n    text-align: center;\n}\n#calcul .concontainer .haut {\n    grid-row: 1/1;\n}\n#calcul .concontainer .milieu {\n    grid-row: 2/2;\n}\n#calcul .concontainer .bas {\n    grid-row: 3/3;\n}\n#calcul .concontainer {\n    display: flex;\n    justify-content: space-around;\n    grid-template-columns: auto 1fr auto;\n    text-align: center;\n    margin-top: 10px;\n}\n#calcul .concontainer {\n    text-align: left;\n    padding:3px;\n    padding-top:10px;\n}\n\n#ittms-def .lambda {\n    color: red;\n}\n#ittms-def .zeta {\n    color: blue;\n}\n#ittms-def .Sigma {\n    color: green;\n}\n\n\n#ht .number-container {\n    display: flex;\n    flex-wrap: wrap;\n    margin: 10px; \n}\n#ht .number-container .number {\n    width: 100px;\n    text-align: center;\n}\n#ht .number-container .number.removed {\n    background-color: black;\n    opacity: 0.3;\n    /* color:black !important */\n}\n#ht .number-container .number.selected {\n    background-color: yellowgreen;\n}\n#ht .number-container .number.selected2 {\n    background-color: #AF8B65;\n}\n#ht .number-container .number.candidate {\n    background-color: pink;\n}\n\n#ht .clone {\n    width: 50%;\n    margin-left: auto;\n    margin-right: auto;\n}\n#ht .clone .number {\n    position: relative;\n    transition: left 1s, top 1s, right 1s;\n    top: 0;\n    right: 0;\n    left: 0;\n}\n#ht .clone .number.left {\n    top:400px;\n    left:-55%;\n}\n#ht .clone .number.right {\n    top:400px;\n    left:55%;\n}\n#ht .barre {\n    text-decoration: line-through;\n}\n#ht .fm-def {\n    margin-top: 410px;\n}\n#reverse-math-intro .column .cell.header {\n    font-size: 1.2em;\n    font-weight: bold;\n}\n#reverse-math-intro .column .cell {\n    height: 50px;\n    text-align: center;\n    padding: 10px;\n}\n#reverse-math-intro .table-container {\n    margin-top: 20px;\n}\n\n#weihrauch-intro .box-sol div {\n    text-align: center;\n    flex-grow: 1;\n    display: block;\n}\n#weihrauch-intro .box-sol {\n    position: absolute;\n    display: flex;\n    text-align: center;\n    align-items: center;\n    width:300px;\n    height:100px;\n    text-align: center;\n    border-radius: 5px;\n    background-color: pink;\n    border: 1px solid black;\n}\n\n#weihrauch-intro .sol-P {\n    padding-top: 10px;\n    align-items: baseline;\n}\n#weihrauch-intro .link {\n    position: absolute;\n    border: 2px solid black;\n    height: 0;\n}\n#weihrauch-intro .weihrauch-container {\n    position: relative;\n    height: 400px;\n}\n#weihrauch-intro .link-curved {\n    width: 70%;\n    height: 125px;\n    border: 4px solid black;\n    border-top: 0px solid black\n}\n\n\n\n\n\n\n\n#randomness-intro .js-random, #randomness-intro .all-zeros {\n    display: flex;\n    align-items: center;\n}\n#randomness-intro .coin-container {\n    display: flex;\n    justify-content: space-between;\n}\n#randomness-intro .coin {\n  /* position: relative; */\n  /* margin: 0 auto; */\n    width: 50px;\n    margin: 10px;\n  height: 50px;\n  display:inline;\n  transform: rotateY(90deg);\n  /* cursor: pointer; */\n}\n#randomness-intro .coin div {\n  width: 100%;\n  height: 100%;\n  -webkit-border-radius: 50%;\n     -moz-border-radius: 50%;\n          border-radius: 50%;\n  -webkit-box-shadow: inset 0 0 45px rgba(255,255,255,.3), 0 12px 20px -10px rgba(0,0,0,.4);\n     -moz-box-shadow: inset 0 0 45px rgba(255,255,255,.3), 0 12px 20px -10px rgba(0,0,0,.4);\n          box-shadow: inset 0 0 45px rgba(255,255,255,.3), 0 12px 20px -10px rgba(0,0,0,.4);\n}\n#randomness-intro .side-a {\n  background-color: #bb0000;\n}\n#randomness-intro .side-b {\n  background-color: #0000bb;\n}\n\n#randomness-intro .coin {\n  transition: -webkit-transform 1s ease-in;\n  -webkit-transform-style: preserve-3d;\n}\n#randomness-intro .coin div {\n  position: absolute;\n  -webkit-backface-visibility: hidden;\n}\n#randomness-intro .side-a {\n  z-index: 100;\n}\n#randomness-intro .side-b {\n  -webkit-transform: rotateY(-180deg);\n\n}\n\n#randomness-intro .coin.heads {\n  -webkit-animation: flipHeads 0.75s ease-out forwards;\n     -moz-animation: flipHeads 0.75s ease-out forwards;\n       -o-animation: flipHeads 0.75s ease-out forwards;\n          animation: flipHeads 0.75s ease-out forwards;\n}\n#randomness-intro .coin.tails {\n  -webkit-animation: flipTails 0.75s ease-out forwards;\n     -moz-animation: flipTails 0.75s ease-out forwards;\n       -o-animation: flipTails 0.75s ease-out forwards;\n          animation: flipTails 0.75s ease-out forwards;\n}\n\n@-webkit-keyframes flipHeads {\n  from { -webkit-transform: rotateY(90deg); -moz-transform: rotateY(90deg); transform: rotateY(90deg); }\n  to { -webkit-transform: rotateY(900deg); -moz-transform: rotateY(900deg); transform: rotateY(900deg); }\n}\n@-webkit-keyframes flipTails {\n  from { -webkit-transform: rotateY(270deg); -moz-transform: rotateY(270deg); transform: rotateY(270deg); }\n  to { -webkit-transform: rotateY(1080deg); -moz-transform: rotateY(1080deg); transform: rotateY(1080deg); }\n}\n\n#randomness-intro .equal-container > div {\n    display:none;\n}\n#randomness-intro .equal-container.proba-0 > div.proba-0 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-1 > div.proba-1 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-2 > div.proba-2 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-3 > div.proba-3 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-4 > div.proba-4 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-5 > div.proba-5 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-6 > div.proba-6 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-7 > div.proba-7 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-8 > div.proba-8 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-9 > div.proba-9 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-10 > div.proba-10 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-11 > div.proba-11 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-12 > div.proba-12 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-13 > div.proba-13 {\n    display:block;\n}\n#randomness-intro .equal-container.proba-14 > div.proba-14 {\n    display:block;\n}\n#randomness-intro .discriminante, #randomness-ittm .discriminante {\n    color: red;\n}\n#randomness-intro .simple, #randomness-ittm .simple  {\n    color: blue;\n}\n#randomness-intro .objet {\n    color: green;\n}\nh1 {\n    text-align: center;\n}\n.cpt-slip {\n    position:fixed;\n    bottom: 0;\n    background-color: white;\n    padding:5px;\n}\n#titre {\n    width:100%;\n}\n#thanks {\n    background-color:white;\n    position:relative;\n    font-size:800px;\n    top:6790px;\n    left: 379px;\n    z-index: 100000;\n    width: 10000px;\n}\n#infinite {\n    transform:scale(30);\n    z-index:100;\n    position: absolute;\n    top:-360px;\n    left:2900px;\n}\n#RMChapter {\n    transform:rotate(180deg) scale(22);\n    z-index:100;\n    position: absolute;\n    top:-360px;\n    left:8000px;\n}\n#randomnessChapter {\n    transform:scale(15);\n    z-index:100;\n    position: absolute;\n    top:-360px;\n    left:5000px;\n}\n\n\n#weihrauch-intro .custom-canvas {\n    width:100%;\n    position: relative;\n    height:400px;\n}\n#weihrauch-intro .custom-canvas .point {\n    display:inline-block;\n    width: 0;\n    height: 0;\n    border: 15px solid black;\n    border-radius: 15px;\n    position: absolute;\n}\n\n#weihrauch-intro .custom-canvas .line {\n    display:inline-block;\n    width: 200px;\n    height: 0;\n    border: 3px solid black;\n    position: absolute;\n}\n\n#ht .red {\n    color: red;\n}\n#ht .blue {\n    color: blue;\n}\n"]}