{"version":3,"sources":["slides.css"],"names":[],"mappings":"AACA,YAEI,cAAe,CACf,eAAgB,CAChB,gBAGJ,CAuCA,YACI,iBAAkB,CAClB,iBACJ,CACA,gBACI,SACJ,CACA,iBACI,QACJ,CACA,gBACI,QACJ,CACA,gBACI,SACJ,CAEA,gCACI,aACJ,CAKA,mBACI,kBAAsB,CACtB,WAAW,CACX,WAAW,CACX,yBAA2B,CAC3B,4BAA8B,CAC9B,SACJ,CAEA,qBACI,iBACJ,CACA,sBACI,gBACJ,CAEA,aACI,iBACJ,CACA,eACI,SACJ,CACA,sBACI,QACJ,CACA,gBAGI,sCACJ,CACA,iCAJI,QAAS,CACT,SAMJ,CACA,+CACI,UAAW,CACX,SAEJ,CAUA,iCAHI,iBASJ,CANA,eAEI,QAAS,CACT,QAAS,CACT,eAAgB,CAChB,SACJ,CAWA,wBACI,oBACJ,CACA,6BACI,eAAgB,CAChB,iBAEJ,CACA,6BAGI,eAAgB,CAChB,iBACJ,CACA,8BACI,eAAgB,CAChB,iBACJ,CACA,4BACI,YACJ,CACA,8BACI,YACJ,CACA,2BACI,YACJ,CACA,sBACI,YAAa,CACb,4BAA6B,CAC7B,mCAAoC,CACpC,iBAAkB,CAClB,eAAgB,CAGhB,eAAgB,CAEhB,oBAJJ,CAOA,mBACI,SACJ,CACA,iBACI,UACJ,CACA,kBACI,WACJ,CAGA,sBACI,YAAa,CACb,cAAe,CACf,WACJ,CACA,8BACI,WAAY,CACZ,iBACJ,CACA,sCACI,qBAAuB,CACvB,UAEJ,CACA,uCACI,wBACJ,CACA,wCACI,wBACJ,CACA,wCACI,qBACJ,CAEA,WACI,SAAU,CACV,gBAAiB,CACjB,iBACJ,CACA,mBACI,iBAAkB,CAClB,kCAAqC,CACrC,KAAM,CACN,OAAQ,CACR,MACJ,CACA,wBACI,SAAS,CACT,SACJ,CACA,yBACI,SAAS,CACT,QACJ,CACA,WACI,4BACJ,CACA,YACI,gBACJ,CACA,yCACI,eAAgB,CAChB,eACJ,CACA,kCACI,WAAY,CACZ,iBAAkB,CAClB,YACJ,CACA,qCACI,eACJ,CAEA,8BACI,iBAAkB,CAClB,WAAY,CACZ,aACJ,CACA,0BACI,iBAAkB,CAClB,YAAa,CAEb,kBAAmB,CACnB,WAAW,CACX,YAAY,CACZ,iBAAkB,CAClB,iBAAkB,CAClB,qBAAsB,CACtB,qBACJ,CAEA,wBACI,gBAAiB,CACjB,oBACJ,CACA,uBACI,iBAAkB,CAClB,qBAAuB,CACvB,QACJ,CACA,sCACI,iBAAkB,CAClB,YACJ,CACA,8BACI,SAAU,CACV,YAAa,CAEb,qBAA0B,CAA1B,uBACJ,CAQA,0DACI,YAAa,CACb,kBACJ,CACA,kCACI,YAAa,CACb,6BACJ,CACA,wBAGI,UAAW,CACX,WAAY,CACd,WAAY,CACZ,cAAc,CACd,wBAEF,CACA,4BACE,UAAW,CACX,WAAY,CACZ,yBAA0B,CACvB,sBAAuB,CAClB,iBAAkB,CAC1B,qFAAyF,CACtF,kFAAsF,CACjF,6EACV,CACA,0BACE,qBACF,CACA,0BACE,qBACF,CAEA,wBACE,uCAAwC,CACxC,mCACF,CACA,4BACE,iBAAkB,CAClB,kCACF,CACA,0BACE,WACF,CACA,0BACE,kCAEF,CAEA,8BACE,kDAAoD,CACjD,+CAAiD,CAC/C,6CAA+C,CAC5C,0CACV,CACA,8BACE,kDAAoD,CACjD,+CAAiD,CAC/C,6CAA+C,CAC5C,0CACV,CAEA,6BACE,GAAO,gCAAiC,CAAE,6BAA8B,CAAE,wBAA2B,CACrG,GAAK,iCAAkC,CAAE,8BAA+B,CAAE,yBAA4B,CACxG,CACA,6BACE,GAAO,iCAAkC,CAAE,8BAA+B,CAAE,yBAA4B,CACxG,GAAK,gCAAmC,CAAE,6BAAgC,CAAE,wBAA6B,CAC3G,CAEA,uCACI,YACJ,CA2CA,m0BACI,aACJ,CACA,iEACI,SACJ,CACA,mDACI,UACJ,CACA,yBACI,WACJ,CACA,GACI,iBACJ,CACA,UACI,cAAc,CACd,QAAS,CACT,qBAAuB,CACvB,WACJ,CACA,OACI,UACJ,CACA,QACI,qBAAsB,CACtB,iBAAiB,CACjB,eAAe,CACf,UAAU,CACV,UAAW,CACX,cAAe,CACf,aACJ,CACA,UACI,mBAAmB,CAInB,WACJ,CACA,qBALI,WAAW,CACX,iBAAkB,CAClB,UASJ,CANA,WACI,kCAAkC,CAIlC,WACJ,CACA,mBACI,mBAAmB,CACnB,WAAW,CACX,iBAAkB,CAClB,UAAU,CACV,WACJ,CAGA,gCACI,UAAU,CACV,iBAAkB,CAClB,YACJ,CACA,uCACI,oBAAoB,CACpB,OAAQ,CACR,QAAS,CACT,sBAAwB,CACxB,kBAAmB,CACnB,iBACJ,CAEA,sCACI,oBAAoB,CACpB,WAAY,CACZ,QAAS,CACT,qBAAuB,CACvB,iBACJ,CAEA,SACI,SACJ,CACA,UACI,UACJ","file":"slides.e5740139.css","sourceRoot":"..","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"]}