diff --git a/asset-manifest.json b/asset-manifest.json index ad3069f..15e6adf 100644 --- a/asset-manifest.json +++ b/asset-manifest.json @@ -1,26 +1,26 @@ { "files": { - "main.css": "/existential-graphs/static/css/main.782888a2.chunk.css", - "main.js": "/existential-graphs/static/js/main.9654db28.chunk.js", - "main.js.map": "/existential-graphs/static/js/main.9654db28.chunk.js.map", + "main.css": "/existential-graphs/static/css/main.276ace8f.chunk.css", + "main.js": "/existential-graphs/static/js/main.f957ae7d.chunk.js", + "main.js.map": "/existential-graphs/static/js/main.f957ae7d.chunk.js.map", "runtime-main.js": "/existential-graphs/static/js/runtime-main.1b28495f.js", "runtime-main.js.map": "/existential-graphs/static/js/runtime-main.1b28495f.js.map", "static/css/2.dea1b1f8.chunk.css": "/existential-graphs/static/css/2.dea1b1f8.chunk.css", - "static/js/2.5d9fbd02.chunk.js": "/existential-graphs/static/js/2.5d9fbd02.chunk.js", - "static/js/2.5d9fbd02.chunk.js.map": "/existential-graphs/static/js/2.5d9fbd02.chunk.js.map", + "static/js/2.128e0e37.chunk.js": "/existential-graphs/static/js/2.128e0e37.chunk.js", + "static/js/2.128e0e37.chunk.js.map": "/existential-graphs/static/js/2.128e0e37.chunk.js.map", "index.html": "/existential-graphs/index.html", - "precache-manifest.c07751a5819ee73d5443958b97c88a30.js": "/existential-graphs/precache-manifest.c07751a5819ee73d5443958b97c88a30.js", + "precache-manifest.e8457f500f22b159484f2bb52211455b.js": "/existential-graphs/precache-manifest.e8457f500f22b159484f2bb52211455b.js", "service-worker.js": "/existential-graphs/service-worker.js", "static/css/2.dea1b1f8.chunk.css.map": "/existential-graphs/static/css/2.dea1b1f8.chunk.css.map", - "static/css/main.782888a2.chunk.css.map": "/existential-graphs/static/css/main.782888a2.chunk.css.map", - "static/js/2.5d9fbd02.chunk.js.LICENSE.txt": "/existential-graphs/static/js/2.5d9fbd02.chunk.js.LICENSE.txt", + "static/css/main.276ace8f.chunk.css.map": "/existential-graphs/static/css/main.276ace8f.chunk.css.map", + "static/js/2.128e0e37.chunk.js.LICENSE.txt": "/existential-graphs/static/js/2.128e0e37.chunk.js.LICENSE.txt", "static/media/katex.min.css": "/existential-graphs/static/media/KaTeX_Typewriter-Regular.6cc31ea5.woff2" }, "entrypoints": [ "static/js/runtime-main.1b28495f.js", "static/css/2.dea1b1f8.chunk.css", - "static/js/2.5d9fbd02.chunk.js", - "static/css/main.782888a2.chunk.css", - "static/js/main.9654db28.chunk.js" + "static/js/2.128e0e37.chunk.js", + "static/css/main.276ace8f.chunk.css", + "static/js/main.f957ae7d.chunk.js" ] } \ No newline at end of file diff --git a/index.html b/index.html index bee0a87..2b86be4 100644 --- a/index.html +++ b/index.html @@ -1 +1 @@ -React App
\ No newline at end of file +React App
\ No newline at end of file diff --git a/precache-manifest.c07751a5819ee73d5443958b97c88a30.js b/precache-manifest.e8457f500f22b159484f2bb52211455b.js similarity index 95% rename from precache-manifest.c07751a5819ee73d5443958b97c88a30.js rename to precache-manifest.e8457f500f22b159484f2bb52211455b.js index 72d3c8e..374cef9 100644 --- a/precache-manifest.c07751a5819ee73d5443958b97c88a30.js +++ b/precache-manifest.e8457f500f22b159484f2bb52211455b.js @@ -1,27 +1,27 @@ self.__precacheManifest = (self.__precacheManifest || []).concat([ { - "revision": "9f37f4da6f91f3289aab6d475abb9f21", + "revision": "abe03f4b3f936c9e815aebffece7f5ed", "url": "/existential-graphs/index.html" }, { - "revision": "39d7d4ebd7cd64b4c72b", + "revision": "dd156ea0611b9e8422be", "url": "/existential-graphs/static/css/2.dea1b1f8.chunk.css" }, { - "revision": "62e47b00e617a8381564", - "url": "/existential-graphs/static/css/main.782888a2.chunk.css" + "revision": "469108820e69add3da37", + "url": "/existential-graphs/static/css/main.276ace8f.chunk.css" }, { - "revision": "39d7d4ebd7cd64b4c72b", - "url": "/existential-graphs/static/js/2.5d9fbd02.chunk.js" + "revision": "dd156ea0611b9e8422be", + "url": "/existential-graphs/static/js/2.128e0e37.chunk.js" }, { "revision": "2c598234c7a24970b5fdf032f602e7bc", - "url": "/existential-graphs/static/js/2.5d9fbd02.chunk.js.LICENSE.txt" + "url": "/existential-graphs/static/js/2.128e0e37.chunk.js.LICENSE.txt" }, { - "revision": "62e47b00e617a8381564", - "url": "/existential-graphs/static/js/main.9654db28.chunk.js" + "revision": "469108820e69add3da37", + "url": "/existential-graphs/static/js/main.f957ae7d.chunk.js" }, { "revision": "dc57d5fed269a7aa898b", diff --git a/service-worker.js b/service-worker.js index f2d6d5e..0097b08 100644 --- a/service-worker.js +++ b/service-worker.js @@ -14,7 +14,7 @@ importScripts("https://storage.googleapis.com/workbox-cdn/releases/4.3.1/workbox-sw.js"); importScripts( - "/existential-graphs/precache-manifest.c07751a5819ee73d5443958b97c88a30.js" + "/existential-graphs/precache-manifest.e8457f500f22b159484f2bb52211455b.js" ); self.addEventListener('message', (event) => { diff --git a/static/css/main.276ace8f.chunk.css b/static/css/main.276ace8f.chunk.css new file mode 100644 index 0000000..dbcbffa --- /dev/null +++ b/static/css/main.276ace8f.chunk.css @@ -0,0 +1,2 @@ +@import url(https://fonts.googleapis.com/css2?family=Heebo:wght@400;500;800&family=Open+Sans:ital,wght@0,300;0,400;0,700;1,400&display=swap);*,:after,:before{box-sizing:border-box;-moz-box-sizing:border-box;-webkit-box-sizing:border-box;-ms-box-sizing:border-box}body{font-family:"Open Sans",sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:"Heebo",sans-serif;margin:0}p{margin:0}h1{font-size:3em;line-height:4rem}code{font-family:source-code-pro,Menlo,Monaco,Consolas,"Courier New",monospace}.App,body,html{width:100%;height:100%;margin:0;padding:0;overflow:hidden}.whiteBG{background-color:#fff!important}.initial{background-color:#f0f0f0;height:100vh;width:100vw;transition:background-color 1s}input{font-size:1em;highlight:none;border-radius:0;outline:none}button{background-color:#9aa899;border:none;color:#fff;padding:15px 32px;text-align:center;text-decoration:none;display:inline-block;font-size:16px;margin-right:30px;box-shadow:0 0 10px rgba(0,0,0,.23),0 2px 3px rgba(0,0,0,.34)}button:hover{box-shadow:0 0 7px rgba(0,0,0,.16),0 2px 2px rgba(0,0,0,.24)}button:active{box-shadow:0 0 2px rgba(0,0,0,.09),0 0 1px rgba(0,0,0,.16)}.canvas{width:100vw;height:100vh}.abs{display:absolute}.noselect{outline:none;-webkit-touch-callout:none;-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}.toolbox{position:absolute;display:inline-block;width:200px;float:left;background-color:#eaeaea;margin:20px;border-radius:25px;padding:15px 10px;box-shadow:0 0 7px rgba(0,0,0,.16),0 2px 2px rgba(0,0,0,.24);z-index:1}.toolbox h3{margin-left:5px}.tool{background-color:#dfdfda;border-radius:15px;margin-top:5px;padding:4px 4px 4px 16px}.tool:hover{background-color:#dadaca;cursor:pointer}.hoverEl{padding:5px;border-radius:10px;cursor:pointer}.hoverEl:hover{background-color:#e2dbbe}.step-text{height:22px;color:#848484;font-family:"Open Sans";font-size:16px;line-height:22px;bottom:20px}.step-menu,.step-text{text-align:center;position:absolute;left:50%;-webkit-transform:translateX(-50%);transform:translateX(-50%)}.step-menu{bottom:53px;box-sizing:border-box;height:73px;line-height:73px;width:278px;border-radius:36.5px;background-color:#eaeaea;border:1px solid #e6e6e6;box-shadow:0 0 8px 0 rgba(0,0,0,.28)}.step-menu div{display:inline-block;margin-top:2.6px;margin-left:16px}.step-menu div:first-child{margin-left:0}.step-menu .undo-btn.disabled{background-color:#c3cbc2!important;box-shadow:none!important;cursor:not-allowed!important}.step-menu .undo-btn.disabled .undo-svg svg path{fill:#868686}.step-menu .redo-btn.disabled{background-color:#b7b7b7!important;box-shadow:none!important;cursor:not-allowed!important}.step-menu .redo-btn.disabled .redo-svg svg path{fill:#868686}.step-menu .undo-btn{width:60px;height:60px;background-color:#a8b4a7;box-shadow:0 2px 4px 0 rgba(0,0,0,.24);border-radius:50%;position:relative;margin-right:17px;cursor:pointer}.step-menu .undo-btn:hover{box-shadow:0 1px 2px 0 rgba(0,0,0,.35)}.step-menu .undo-btn .undo-svg{margin-top:0}.step-menu .redo-btn{position:absolute;bottom:3px;right:100px;background-color:#b7b7b7;border-radius:50%;line-height:32px;height:29px;width:29px;box-shadow:0 1px 6px 0 rgba(0,0,0,.29);cursor:pointer}.step-menu .redo-btn div{margin-top:0}.step-menu .redo-btn:hover{box-shadow:0 .5px 3px 0 rgba(0,0,0,.35)}.step-menu .redo-btn .redo-svg{margin-top:0}.dropdown-menu{width:100vw;height:40px;background-color:#eee;padding-left:15px}.dropdown-menu .menu-title{height:30px;line-height:30px;padding-left:10px;padding-right:10px;border-radius:8px;float:left;font-weight:700;margin-top:5px;margin-bottom:5px;cursor:pointer;transition:box-shadow .2s}.dropdown-menu .menu-title:hover{box-shadow:inset -5px -5px 3px #f5f5f5,inset 5px 5px 3px #dadada}.dropdown-menu .menu-title:active{box-shadow:inset -5px -5px 3px #f9f9f9,inset 5px 5px 3px #d4d4d4;background-color:#ebebeb}.fadein-appear{opacity:.01}.fadein-appear.fadein-appear-active{opacity:1;transition:1s}.insertOverlay{border-radius:25px;padding:15px;background-color:#fff;position:absolute;top:-50%;left:50%;-webkit-transform:translate(-50%,-50%);transform:translate(-50%,-50%);box-shadow:0 .5px 3px 0 rgba(0,0,0,.35);transition:top .4s;z-index:2}.insertOverlay.shown{top:50%}.insertOverlay h1{font-size:2.4rem}.insertOverlay .check{width:inherit;height:inherit;padding-top:10px;padding-bottom:10px}.insertOverlay .buttons{margin-top:20px;float:right}.insertOverlay .buttons button{border-radius:15px;margin-right:4px}.mainCanvas{transition:filter .5s ease-in-out,-webkit-filter .5s ease-in-out!important;background-color:#fff}.mainCanvas.disabled{pointer-events:none;-webkit-filter:brightness(.5);filter:brightness(.5);-webkit-backdrop-filter:brightness(.5);backdrop-filter:brightness(.5)}body,h1,h2{color:#1a1423}h3,h4,h5,h6{color:#66666e}.formulaTable{table-layout:fixed;width:100%;border-collapse:collapse}.formulaTable .plus{padding-right:5px;padding-left:3px}.formulaTable .plus:before{content:"+"}.formulaTable tr{border:1px solid #ddd;height:40px}.formulaTable td{vertical-align:middle;padding:5px;height:25px;background-color:#fafafa}.formulaTable td.interactive{cursor:pointer;color:#848484}.formulaTable td.interactive:hover{color:#545454}.formulaTable td.close{width:30px}h2{padding-top:15px}input{height:25px;width:100%;padding:15px;border-radius:4px;border:1px solid #ddd;max-width:375px}.floating-window.shown{top:50%!important}.floating-window{font-size:12px;transition:top 1s;position:absolute;height:600px;width:840px;border-radius:25px;top:-50%;left:50%;-webkit-transform:translate(-50%,-50%);transform:translate(-50%,-50%);background-color:#fff;box-shadow:0 4px 10px 0 rgba(0,0,0,.11);overflow:hidden}.floating-window .toolbar{position:absolute;bottom:0;height:68px;width:100%;border-radius:0 0 25px 25px;background-color:#eaeaea;display:flex;flex-direction:row-reverse;padding:6px 20px 6px 6px}.floating-window .toolbar .svg{display:inline-block;padding-right:10px}.floating-window .toolbar .back{position:absolute;top:8px;left:20px;background:none;color:#848484;box-shadow:none!important}.floating-window .toolbar button{width:126px;border-radius:15px;margin:2px 6px 2px 0;box-shadow:0 0 10px 0 rgba(0,0,0,.1);transition:.1s;color:#fff}.floating-window .toolbar button:hover{box-shadow:0 0 6px 0 rgba(0,0,0,.3)}.floating-window .toolbar button:active{box-shadow:0 0 2px 0 rgba(0,0,0,.5);color:#ccc}.floating-window .full-width{padding:40px 60px!important}.floating-window .content{padding:20px;height:720px;overflow:auto}.floating-window .content p{font-size:1.3em;line-height:25px}.floating-window .content .column{padding:20px 40px;float:left;width:50%}.floating-window .content:after{content:"";display:block;clear:both;height:80px}.floating-window .content .divider{position:absolute;top:0;left:50%;height:100%;width:1px;background-color:#b7b7b7}.proofField{box-shadow:0 0 4px 0 rgba(0,0,0,.3);padding:8px;margin-bottom:10px;border-radius:10px;font-weight:700;color:#555;cursor:pointer;font-size:1.4em}.proofField:hover{color:#61f} +/*# sourceMappingURL=main.276ace8f.chunk.css.map */ \ No newline at end of file diff --git a/static/css/main.276ace8f.chunk.css.map b/static/css/main.276ace8f.chunk.css.map new file mode 100644 index 0000000..3179da2 --- /dev/null +++ b/static/css/main.276ace8f.chunk.css.map @@ -0,0 +1 @@ +{"version":3,"sources":["main.276ace8f.chunk.css","index.scss","App.scss","Canvas.scss","../colors.scss","CreateNew.scss","intro.scss"],"names":[],"mappings":"AAAA,4IAA4I,CCK5I,iBACE,qBAAqB,CACrB,0BAA0B,CAC1B,6BAA6B,CAC7B,yBAAyB,CAC1B,KAGC,kCAAoC,CACpC,kCAAmC,CACnC,iCAAkC,CACnC,kBAGC,8BAAgC,CAChC,QAAS,CACV,EAEC,QAAS,CACV,GAEC,aAAc,CACd,gBAAiB,CAClB,KAGC,yEACW,CChCb,eACE,UAAU,CACV,WAAW,CACX,QAAQ,CACR,SAAS,CACT,eAAgB,CACjB,SAGC,+BAAoC,CACrC,SAGC,wBAAyB,CACzB,YAAa,CACb,WAAY,CACZ,8BAA+B,CAChC,MAGC,aAAc,CACd,cAAe,CACf,eAAgB,CAChB,YAAa,CACd,OAGC,wBAAyB,CACzB,WAAY,CACZ,UAAY,CACZ,iBAAkB,CAClB,iBAAkB,CAClB,oBAAqB,CACrB,oBAAqB,CACrB,cAAe,CACf,iBAAkB,CAClB,6DAAmE,CAVrE,aAYI,4DAAkE,CAZtE,cAeI,0DAAkE,CCvCtE,QACE,WAAY,CACZ,YAAa,CACd,KAGC,gBAAiB,CAClB,UAGC,YAAa,CACb,0BAA2B,CACzB,wBAAyB,CAEtB,qBAAsB,CACrB,oBAAqB,CACjB,gBAAiB,CAE5B,SAGC,iBAAkB,CAClB,oBAAqB,CACrB,WAAY,CACZ,UAAW,CACX,wBCtBkB,CDuBlB,WAAY,CACZ,kBAAmB,CAGnB,iBAAmB,CACnB,4DAAkE,CAClE,SAAU,CAZZ,YAcI,eAAgB,CACjB,MAID,wBAAyB,CACzB,kBAAmB,CAEnB,cAAe,CACf,wBAAkB,CALpB,YAOI,wBAAyB,CACzB,cAAe,CAChB,SAID,WAAY,CACZ,kBAAmB,CACnB,cAAe,CAHjB,eAKI,wBCzDS,CD0DV,WAID,WAAY,CACZ,aAAc,CACd,uBAAwB,CACxB,cAAe,CACf,gBAAiB,CAMjB,WAAY,CACb,sBANC,iBAAkB,CAClB,iBAAkB,CAClB,QAAS,CACT,kCAAmC,CACnC,0BAkBkB,CAhBnB,WAOC,WAAY,CACZ,qBAAsB,CACtB,WAAY,CACZ,gBAAiB,CACjB,WAAY,CACZ,oBAAqB,CACrB,wBAAyB,CACzB,wBAAyB,CACzB,oCACkB,CAdpB,eAgBI,oBAAqB,CACrB,gBAAiB,CACjB,gBAAiB,CAlBrB,2BAoBM,aAAc,CApBpB,8BAwBI,kCAAoC,CACpC,yBAA2B,CAI3B,4BAA8B,CA7BlC,iDA2BM,YAAsB,CA3B5B,8BAgCI,kCAAoC,CACpC,yBAA2B,CAI3B,4BAA8B,CArClC,iDAmCM,YAAsB,CAnC5B,qBAwCI,UAAW,CACX,WAAY,CACZ,wBAAyB,CACzB,sCAAwC,CACxC,iBAAkB,CAClB,iBAAkB,CAClB,iBAAkB,CAClB,cAAe,CA/CnB,2BAiDM,sCAAwC,CAjD9C,+BAoDM,YAAa,CApDnB,qBAyDM,iBAAkB,CAClB,UAAW,CACX,WAAY,CACZ,wBAAyB,CACzB,iBAAkB,CAClB,gBAAiB,CACjB,WAAY,CACZ,UAAW,CACX,sCAAwC,CACxC,cAAe,CAlErB,yBAwDY,YAAa,CAxDzB,2BAoEQ,uCAA0C,CApElD,+BAuEQ,YAAa,CACd,eAKL,WAAY,CACZ,WAAY,CACZ,qBAAsB,CACtB,iBAAkB,CAJpB,2BAMI,WAAY,CACZ,gBAAiB,CACjB,iBAAkB,CAClB,kBAAmB,CACnB,iBAAkB,CAClB,UAAW,CACX,eAAiB,CACjB,cAAe,CACf,iBAAkB,CAClB,cAAe,CACf,yBAA2B,CAhB/B,iCAkBM,gEAAkE,CAlBxE,kCAqBM,gEAAkE,CAClE,wBAAyB,CAC1B,eAKH,WAAa,CACd,oCAGC,SAAU,CACV,aAAgB,CACjB,eAGC,kBAAmB,CACnB,YAAa,CACb,qBAAuB,CACvB,iBAAkB,CAClB,QAAS,CACT,QAAS,CACT,sCAAgC,CAAhC,8BAAgC,CAChC,uCAA0C,CAC1C,kBAAoB,CACpB,SAAU,CAVZ,qBAYI,OAAQ,CAZZ,kBAeI,gBAAiB,CAfrB,sBAkBI,aAAc,CACd,cAAe,CACf,gBAAiB,CACjB,mBAAoB,CArBxB,wBAwBI,eAAgB,CAChB,WAAY,CAzBhB,+BA2BM,kBAAmB,CACnB,gBAAiB,CAClB,YAKH,0EAE4C,CAC5C,qBAAkC,CACnC,qBAGC,mBAAoB,CACpB,6BAAuB,CAAvB,qBAAuB,CACvB,sCAAA,CAAA,8BAAgC,CC7NjC,WAGC,aAVa,CAWd,YAGC,aAbY,CCDd,cACE,kBAAmB,CACnB,UAAW,CACX,wBAAyB,CAH3B,oBAQI,iBAAkB,CAClB,gBAAiB,CATrB,2BAMM,WAAY,CANlB,iBAYI,qBAAsB,CACtB,WAAY,CAbhB,iBAgBI,qBAAsB,CACtB,WAAY,CACZ,WAAY,CACZ,wBAAyB,CAnB7B,6BAsBI,cAAe,CACf,aAAc,CAvBlB,mCAyBM,aAAc,CAzBpB,uBA6BI,UAAW,CACZ,GAID,gBAAiB,CAClB,MAGC,WAAY,CACZ,UAAW,CACX,YAAa,CACb,iBAAkB,CAClB,qBAAsB,CACtB,eAAgB,CC7ClB,uBACE,iBAAmB,CACpB,iBAGC,cAAe,CACf,iBAAkB,CAClB,iBAAkB,CAClB,YAAa,CACb,WAAY,CACZ,kBAAmB,CACnB,QAAS,CACT,QAAS,CACT,sCAAgC,CAAhC,8BAAgC,CAChC,qBAAuB,CACvB,uCAAyC,CACzC,eAAgB,CAZlB,0BAcI,iBAAkB,CAClB,QAAS,CACT,WAAY,CACZ,UAAW,CACX,2BAA4B,CAC5B,wBAAyB,CACzB,YAAa,CACb,0BAA2B,CAE3B,wBAAmB,CAvBvB,+BAyBM,oBAAqB,CACrB,kBAAmB,CA1BzB,gCA6BM,iBAAkB,CAClB,OAAQ,CACR,SAAU,CACV,eAAgB,CAChB,aAAc,CACd,yBAA2B,CAlCjC,iCAqCM,WAAY,CACZ,kBAAmB,CAInB,oBAAkB,CAClB,oCAAsC,CACtC,cAAgB,CAChB,UAAY,CA7ClB,uCA+CQ,mCAAqC,CA/C7C,wCAkDQ,mCAAqC,CACrC,UAAW,CAnDnB,6BAwDI,2BAA6B,CAxDjC,0BA2DI,YAAa,CACb,YAAa,CACb,aAAc,CA7DlB,4BA+DM,eAAgB,CAChB,gBAAiB,CAhEvB,kCAmEM,iBAAkB,CAClB,UAAW,CACX,SAAU,CArEhB,gCAwEM,UAAW,CACX,aAAc,CACd,UAAW,CACX,WAAY,CA3ElB,mCA8EM,iBAAkB,CAClB,KAAM,CACN,QAAS,CACT,WAAY,CACZ,SAAU,CACV,wBAAyB,CAC1B,YAKH,mCAAqC,CACrC,WAAY,CACZ,kBAAmB,CACnB,kBAAmB,CACnB,eAAiB,CACjB,UAAW,CACX,cAAe,CACf,eAAgB,CARlB,kBAUI,UAAc","file":"main.276ace8f.chunk.css","sourcesContent":["@import url(https://fonts.googleapis.com/css2?family=Heebo:wght@400;500;800&family=Open+Sans:ital,wght@0,300;0,400;0,700;1,400&display=swap);\nbody{color:#1A1423}h1,h2{color:#1A1423}h3,h4,h5,h6{color:#66666E}*,*:before,*:after{box-sizing:border-box;-moz-box-sizing:border-box;-webkit-box-sizing:border-box;-ms-box-sizing:border-box}body{font-family:'Open Sans', sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:'Heebo', sans-serif;margin:0}p{margin:0}h1{font-size:3em;line-height:4rem}code{font-family:source-code-pro, Menlo, Monaco, Consolas, 'Courier New', monospace}\n\nhtml,body,.App{width:100%;height:100%;margin:0;padding:0;overflow:hidden}.whiteBG{background-color:#FFFFFF !important}.initial{background-color:#F0F0F0;height:100vh;width:100vw;transition:background-color 1s}input{font-size:1em;highlight:none;border-radius:0;outline:none}button{background-color:#9AA899;border:none;color:white;padding:15px 32px;text-align:center;text-decoration:none;display:inline-block;font-size:16px;margin-right:30px;box-shadow:0 0px 10px rgba(0,0,0,0.23),0 2px 3px rgba(0,0,0,0.34)}button:hover{box-shadow:0 0px 7px rgba(0,0,0,0.16),0 2px 2px rgba(0,0,0,0.24)}button:active{box-shadow:0 0px 2px rgba(0,0,0,0.09),0 0px 1px rgba(0,0,0,0.16)}\n\nbody{color:#1A1423}h1,h2{color:#1A1423}h3,h4,h5,h6{color:#66666E}.canvas{width:100vw;height:100vh}.abs{display:absolute}.noselect{outline:none;-webkit-touch-callout:none;-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}.toolbox{position:absolute;display:inline-block;width:200px;float:left;background-color:#EAEAEA;margin:20px;border-radius:25px;padding:15px;padding-left:10px;padding-right:10px;box-shadow:0 0px 7px rgba(0,0,0,0.16),0 2px 2px rgba(0,0,0,0.24);z-index:1}.toolbox h3{margin-left:5px}.tool{background-color:#DFDFDA;border-radius:15px;padding:4px;margin-top:5px;padding-left:16px}.tool:hover{background-color:#DADACA;cursor:pointer}.hoverEl{padding:5px;border-radius:10px;cursor:pointer}.hoverEl:hover{background-color:#e2dbbe}.step-text{height:22px;color:#848484;font-family:\"Open Sans\";font-size:16px;line-height:22px;text-align:center;position:absolute;left:50%;-webkit-transform:translateX(-50%);transform:translateX(-50%);bottom:20px}.step-menu{position:absolute;left:50%;-webkit-transform:translateX(-50%);transform:translateX(-50%);bottom:53px;box-sizing:border-box;height:73px;line-height:73px;width:278px;border-radius:36.5px;background-color:#EAEAEA;border:1px solid #E6E6E6;box-shadow:0 0 8px 0 rgba(0,0,0,0.28);text-align:center}.step-menu div{display:inline-block;margin-top:2.6px;margin-left:16px}.step-menu div:first-child{margin-left:0}.step-menu .undo-btn.disabled{background-color:#C3CBC2 !important;box-shadow:none !important;cursor:not-allowed !important}.step-menu .undo-btn.disabled .undo-svg svg path{fill:#868686}.step-menu .redo-btn.disabled{background-color:#B7B7B7 !important;box-shadow:none !important;cursor:not-allowed !important}.step-menu .redo-btn.disabled .redo-svg svg path{fill:#868686}.step-menu .undo-btn{width:60px;height:60px;background-color:#A8B4A7;box-shadow:0 2px 4px 0 rgba(0,0,0,0.24);border-radius:50%;position:relative;margin-right:17px;cursor:pointer}.step-menu .undo-btn:hover{box-shadow:0 1px 2px 0 rgba(0,0,0,0.35)}.step-menu .undo-btn .undo-svg{margin-top:0}.step-menu .redo-btn{position:absolute;bottom:3px;right:100px;background-color:#B7B7B7;border-radius:50%;line-height:32px;height:29px;width:29px;box-shadow:0 1px 6px 0 rgba(0,0,0,0.29);cursor:pointer}.step-menu .redo-btn div{margin-top:0}.step-menu .redo-btn:hover{box-shadow:0 0.5px 3px 0 rgba(0,0,0,0.35)}.step-menu .redo-btn .redo-svg{margin-top:0}.dropdown-menu{width:100vw;height:40px;background-color:#EEE;padding-left:15px}.dropdown-menu .menu-title{height:30px;line-height:30px;padding-left:10px;padding-right:10px;border-radius:8px;float:left;font-weight:bold;margin-top:5px;margin-bottom:5px;cursor:pointer;transition:box-shadow 0.2s}.dropdown-menu .menu-title:hover{box-shadow:inset -5px -5px 3px #F5F5F5, inset 5px 5px 3px #DADADA}.dropdown-menu .menu-title:active{box-shadow:inset -5px -5px 3px #F9F9F9, inset 5px 5px 3px #D4D4D4;background-color:#EBEBEB}.fadein-appear{opacity:0.01}.fadein-appear.fadein-appear-active{opacity:1;transition:1.0s}.insertOverlay{border-radius:25px;padding:15px;background-color:white;position:absolute;top:-50%;left:50%;-webkit-transform:translate(-50%, -50%);transform:translate(-50%, -50%);box-shadow:0 0.5px 3px 0 rgba(0,0,0,0.35);transition:top 0.4s;z-index:2}.insertOverlay.shown{top:50%}.insertOverlay h1{font-size:2.4rem}.insertOverlay .check{width:inherit;height:inherit;padding-top:10px;padding-bottom:10px}.insertOverlay .buttons{margin-top:20px;float:right}.insertOverlay .buttons button{border-radius:15px;margin-right:4px}.mainCanvas{transition:0.5s filter ease-in-out, 0.5s -webkit-filter ease-in-out !important;background-color:#fff}.mainCanvas.disabled{pointer-events:none;-webkit-filter:brightness(0.5);filter:brightness(0.5);-webkit-backdrop-filter:brightness(0.5);backdrop-filter:brightness(0.5)}\n\nbody{color:#1A1423}h1,h2{color:#1A1423}h3,h4,h5,h6{color:#66666E}.formulaTable{table-layout:fixed;width:100%;border-collapse:collapse}.formulaTable .plus{padding-right:5px;padding-left:3px}.formulaTable .plus:before{content:'+'}.formulaTable tr{border:1px solid #DDD;height:40px}.formulaTable td{vertical-align:middle;padding:5px;height:25px;background-color:#FAFAFA}.formulaTable td.interactive{cursor:pointer;color:#848484}.formulaTable td.interactive:hover{color:#545454}.formulaTable td.close{width:30px}h2{padding-top:15px}input{height:25px;width:100%;padding:15px;border-radius:4px;border:1px solid #DDD;max-width:375px}\n\n.floating-window.shown{top:50% !important}.floating-window{font-size:12px;transition:top 1s;position:absolute;height:600px;width:840px;border-radius:25px;top:-50%;left:50%;-webkit-transform:translate(-50%, -50%);transform:translate(-50%, -50%);background-color:white;box-shadow:0 4px 10px 0 rgba(0,0,0,0.11);overflow:hidden}.floating-window .toolbar{position:absolute;bottom:0;height:68px;width:100%;border-radius:0 0 25px 25px;background-color:#EAEAEA;display:flex;flex-direction:row-reverse;padding:6px;padding-right:20px}.floating-window .toolbar .svg{display:inline-block;padding-right:10px}.floating-window .toolbar .back{position:absolute;top:8px;left:20px;background:none;color:#848484;box-shadow:none !important}.floating-window .toolbar button{width:126px;border-radius:15px;margin:0;margin-right:6px;margin-top:2px;margin-bottom:2px;box-shadow:0 0 10px 0 rgba(0,0,0,0.1);transition:0.1s;color:white}.floating-window .toolbar button:hover{box-shadow:0 0 6px 0 rgba(0,0,0,0.3)}.floating-window .toolbar button:active{box-shadow:0 0 2px 0 rgba(0,0,0,0.5);color:#CCC}.floating-window .full-width{padding:40px 60px !important}.floating-window .content{padding:20px;height:720px;overflow:auto}.floating-window .content p{font-size:1.3em;line-height:25px}.floating-window .content .column{padding:20px 40px;float:left;width:50%}.floating-window .content:after{content:\"\";display:block;clear:both;height:80px}.floating-window .content .divider{position:absolute;top:0;left:50%;height:100%;width:1px;background-color:#B7B7B7}.proofField{box-shadow:0 0 4px 0 rgba(0,0,0,0.3);padding:8px;margin-bottom:10px;border-radius:10px;font-weight:bold;color:#555;cursor:pointer;font-size:1.4em}.proofField:hover{color:#6611FF}\n\n","// https://coolors.co/e2dbbe-9aa899-1a1423-66666e-9999a1\n\n@import 'colors';\n@import url('https://fonts.googleapis.com/css2?family=Heebo:wght@400;500;800&family=Open+Sans:ital,wght@0,300;0,400;0,700;1,400&display=swap');\n\n* , *:before, *:after{ \n box-sizing:border-box; \n -moz-box-sizing:border-box; \n -webkit-box-sizing:border-box; \n -ms-box-sizing:border-box;\n}\n\nbody {\n font-family: 'Open Sans', sans-serif;\n -webkit-font-smoothing: antialiased;\n -moz-osx-font-smoothing: grayscale;\n}\n\nh1,h2,h3,h4,h5,h6 {\n font-family: 'Heebo', sans-serif;\n margin: 0;\n}\np {\n margin: 0;\n}\nh1 {\n font-size: 3em;\n line-height: 4rem;\n}\n\ncode {\n font-family: source-code-pro, Menlo, Monaco, Consolas, 'Courier New',\n monospace;\n}\n","html, body, .App {\n width:100%; \n height:100%; \n margin:0; \n padding:0;\n overflow: hidden; \n}\n\n.whiteBG {\n background-color: #FFFFFF !important;\n}\n\n.initial {\n background-color: #F0F0F0;\n height: 100vh;\n width: 100vw;\n transition: background-color 1s;\n}\n\ninput {\n font-size: 1em;\n highlight: none;\n border-radius: 0;\n outline: none;\n}\n\nbutton {\n background-color: #9AA899;\n border: none;\n color: white;\n padding: 15px 32px;\n text-align: center;\n text-decoration: none;\n display: inline-block;\n font-size: 16px;\n margin-right: 30px;\n box-shadow: 0 0px 10px rgba(0,0,0,0.23), 0 2px 3px rgba(0,0,0,0.34);\n &:hover {\n box-shadow: 0 0px 7px rgba(0,0,0,0.16), 0 2px 2px rgba(0,0,0,0.24);\n }\n &:active {\n box-shadow: 0 0px 2px rgba(0,0,0,0.09), 0 0px 1px rgba(0,0,0,0.16);\n }\n}","@import '../colors';\n\n.canvas { \n width: 100vw;\n height: 100vh;\n}\n\n.abs {\n display: absolute;\n}\n\n.noselect {\n outline: none;\n -webkit-touch-callout: none; /* iOS Safari */\n -webkit-user-select: none; /* Safari */\n -khtml-user-select: none; /* Konqueror HTML */\n -moz-user-select: none; /* Old versions of Firefox */\n -ms-user-select: none; /* Internet Explorer/Edge */\n user-select: none; /* Non-prefixed version, currently\n supported by Chrome, Opera and Firefox */\n}\n\n.toolbox {\n position: absolute;\n display: inline-block;\n width: 200px;\n float: left;\n background-color: $white-gray;\n margin: 20px;\n border-radius: 25px;\n padding: 15px;\n padding-left: 10px;\n padding-right: 10px;\n box-shadow: 0 0px 7px rgba(0,0,0,0.16), 0 2px 2px rgba(0,0,0,0.24);\n z-index: 1;\n h3 {\n margin-left: 5px;\n }\n}\n\n.tool {\n background-color: #DFDFDA;\n border-radius: 15px;\n padding: 4px;\n margin-top: 5px;\n padding-left: 16px;\n &:hover {\n background-color: #DADACA;\n cursor: pointer;\n }\n}\n\n.hoverEl {\n padding: 5px;\n border-radius: 10px;\n cursor: pointer;\n &:hover {\n background-color: $tan;\n }\n}\n\n.step-text {\n height: 22px;\n color: #848484;\n font-family: \"Open Sans\";\n font-size: 16px;\n line-height: 22px;\n text-align: center;\n position: absolute;\n left: 50%;\n -webkit-transform: translateX(-50%);\n transform: translateX(-50%);\n bottom: 20px;\n}\n\n.step-menu {\n position: absolute;\n left: 50%;\n -webkit-transform: translateX(-50%);\n transform: translateX(-50%);\n bottom: 53px;\n box-sizing: border-box;\n height: 73px;\n line-height: 73px;\n width: 278px;\n border-radius: 36.5px;\n background-color: #EAEAEA;\n border: 1px solid #E6E6E6;\n box-shadow: 0 0 8px 0 rgba(0,0,0,0.28);\n text-align: center;\n div {\n display: inline-block;\n margin-top: 2.6px;\n margin-left: 16px;\n &:first-child {\n margin-left: 0;\n }\n }\n .undo-btn.disabled {\n background-color: #C3CBC2 !important;\n box-shadow: none !important;\n .undo-svg svg path {\n fill: rgb(134,134,134);\n }\n cursor: not-allowed !important;\n }\n .redo-btn.disabled {\n background-color: #B7B7B7 !important;\n box-shadow: none !important;\n .redo-svg svg path {\n fill: rgb(134,134,134);\n }\n cursor: not-allowed !important;\n }\n .undo-btn {\n width: 60px;\n height: 60px;\n background-color: #A8B4A7;\n box-shadow: 0 2px 4px 0 rgba(0,0,0,0.24);\n border-radius: 50%;\n position: relative;\n margin-right: 17px;\n cursor: pointer;\n &:hover {\n box-shadow: 0 1px 2px 0 rgba(0,0,0,0.35);\n }\n .undo-svg {\n margin-top: 0;\n }\n }\n .redo-btn {\n div { margin-top: 0; }\n position: absolute;\n bottom: 3px;\n right: 100px;\n background-color: #B7B7B7;\n border-radius: 50%;\n line-height: 32px;\n height: 29px;\n width: 29px;\n box-shadow: 0 1px 6px 0 rgba(0,0,0,0.29);\n cursor: pointer;\n &:hover {\n box-shadow: 0 0.5px 3px 0 rgba(0,0,0,0.35);\n }\n .redo-svg {\n margin-top: 0;\n }\n }\n}\n\n.dropdown-menu {\n width: 100vw;\n height: 40px;\n background-color: #EEE;\n padding-left: 15px;\n .menu-title {\n height: 30px;\n line-height: 30px;\n padding-left: 10px;\n padding-right: 10px;\n border-radius: 8px;\n float: left;\n font-weight: bold;\n margin-top: 5px;\n margin-bottom: 5px;\n cursor: pointer;\n transition: box-shadow 0.2s;\n &:hover {\n box-shadow: inset -5px -5px 3px #F5F5F5, inset 5px 5px 3px #DADADA;\n }\n &:active {\n box-shadow: inset -5px -5px 3px #F9F9F9, inset 5px 5px 3px #D4D4D4;\n background-color: #EBEBEB;\n }\n }\n}\n\n.fadein-appear {\n opacity: 0.01;\n}\n\n.fadein-appear.fadein-appear-active {\n opacity: 1;\n transition: 1.0s;\n}\n\n.insertOverlay {\n border-radius: 25px;\n padding: 15px;\n background-color: white;\n position: absolute;\n top: -50%;\n left: 50%;\n transform: translate(-50%, -50%);\n box-shadow: 0 0.5px 3px 0 rgba(0,0,0,0.35);\n transition: top 0.4s;\n z-index: 2;\n &.shown {\n top: 50%;\n }\n h1 {\n font-size: 2.4rem;\n }\n .check {\n width: inherit;\n height: inherit;\n padding-top: 10px;\n padding-bottom: 10px;\n }\n .buttons {\n margin-top: 20px;\n float: right;\n button {\n border-radius: 15px;\n margin-right: 4px;\n }\n }\n}\n\n.mainCanvas {\n transition: \n 0.5s filter ease-in-out, \n 0.5s -webkit-filter ease-in-out !important;\n background-color: rgb(255,255,255);\n}\n\n.mainCanvas.disabled {\n pointer-events: none;\n filter: brightness(0.5);\n backdrop-filter: brightness(0.5);\n}","$tan: #e2dbbe;\n$green: #9AA899;\n$black: #1A1423;\n$gray: #66666E;\n$light-gray: #9999A1;\n$white-gray: #EAEAEA;\n\nbody {\n color: $black;\n}\n\nh1,h2 {\n color: $black;\n}\n\nh3,h4,h5,h6 {\n color: $gray;\n}","@import '../colors';\n\n.formulaTable {\n table-layout: fixed;\n width: 100%;\n border-collapse: collapse;\n .plus {\n &:before {\n content: '+';\n }\n padding-right: 5px;\n padding-left: 3px;\n }\n tr {\n border: 1px solid #DDD;\n height: 40px;\n }\n td {\n vertical-align: middle;\n padding: 5px;\n height: 25px;\n background-color: #FAFAFA; \n }\n td.interactive {\n cursor: pointer;\n color: #848484;\n &:hover {\n color: #545454;\n }\n }\n td.close {\n width: 30px;\n }\n}\n\nh2 {\n padding-top: 15px;\n}\n\ninput {\n height: 25px;\n width: 100%;\n padding: 15px;\n border-radius: 4px;\n border: 1px solid #DDD;\n max-width: 375px;\n}",".floating-window.shown {\n top: 50% !important;\n}\n\n.floating-window {\n font-size: 12px;\n transition: top 1s;\n position: absolute;\n height: 600px;\n width: 840px;\n border-radius: 25px;\n top: -50%;\n left: 50%;\n transform: translate(-50%, -50%);\n background-color: white;\n box-shadow: 0 4px 10px 0 rgba(0,0,0,0.11);\n overflow: hidden;\n .toolbar {\n position: absolute;\n bottom: 0;\n height: 68px;\n width: 100%;\n border-radius: 0 0 25px 25px;\n background-color: #EAEAEA;\n display: flex;\n flex-direction: row-reverse;\n padding: 6px;\n padding-right: 20px;\n .svg {\n display: inline-block;\n padding-right: 10px;\n }\n .back {\n position: absolute;\n top: 8px;\n left: 20px;\n background: none;\n color: #848484;\n box-shadow: none !important;\n }\n button {\n width: 126px;\n border-radius: 15px;\n margin: 0;\n margin-right: 6px;\n margin-top: 2px;\n margin-bottom: 2px;\n box-shadow: 0 0 10px 0 rgba(0,0,0,0.1);\n transition: 0.1s;\n color: white;\n &:hover {\n box-shadow: 0 0 6px 0 rgba(0,0,0,0.3);\n }\n &:active {\n box-shadow: 0 0 2px 0 rgba(0,0,0,0.5);\n color: #CCC;\n }\n }\n }\n .full-width {\n padding: 40px 60px !important;\n }\n .content {\n padding: 20px;\n height: 720px;\n overflow: auto;\n p {\n font-size: 1.3em;\n line-height: 25px;\n }\n .column {\n padding: 20px 40px;\n float: left;\n width: 50%;\n }\n &:after {\n content: \"\";\n display: block;\n clear: both;\n height: 80px;\n }\n .divider {\n position: absolute;\n top: 0;\n left: 50%;\n height: 100%;\n width: 1px;\n background-color: #B7B7B7;\n }\n }\n}\n\n.proofField {\n box-shadow: 0 0 4px 0 rgba(0,0,0,0.3);\n padding: 8px;\n margin-bottom: 10px;\n border-radius: 10px;\n font-weight: bold;\n color: #555;\n cursor: pointer;\n font-size: 1.4em;\n &:hover {\n color: #6611FF;\n }\n}"]} \ No newline at end of file diff --git a/static/css/main.782888a2.chunk.css b/static/css/main.782888a2.chunk.css deleted file mode 100644 index 6aad006..0000000 --- a/static/css/main.782888a2.chunk.css +++ /dev/null @@ -1,2 +0,0 @@ -@import url(https://fonts.googleapis.com/css2?family=Heebo:wght@400;500;800&family=Open+Sans:ital,wght@0,300;0,400;0,700;1,400&display=swap);*,:after,:before{box-sizing:border-box;-moz-box-sizing:border-box;-webkit-box-sizing:border-box;-ms-box-sizing:border-box}body{font-family:"Open Sans",sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:"Heebo",sans-serif;margin:0}p{margin:0}h1{font-size:42px;line-height:62px}code{font-family:source-code-pro,Menlo,Monaco,Consolas,"Courier New",monospace}.App,body,html{width:100%;height:100%;margin:0;padding:0;overflow:hidden}.whiteBG{background-color:#fff!important}.initial{background-color:#f0f0f0;height:100vh;width:100vw;transition:background-color 1s}input{font-size:1em;highlight:none;border-radius:0;outline:none}button{background-color:#9aa899;border:none;color:#fff;padding:15px 32px;text-align:center;text-decoration:none;display:inline-block;font-size:16px;margin-right:30px;box-shadow:0 0 10px rgba(0,0,0,.23),0 2px 3px rgba(0,0,0,.34)}button:hover{box-shadow:0 0 7px rgba(0,0,0,.16),0 2px 2px rgba(0,0,0,.24)}button:active{box-shadow:0 0 2px rgba(0,0,0,.09),0 0 1px rgba(0,0,0,.16)}.canvas{width:100vw;height:100vh}.abs{display:absolute}.noselect{outline:none;-webkit-touch-callout:none;-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}.toolbox{position:absolute;display:inline-block;width:200px;float:left;background-color:#eaeaea;margin:20px;border-radius:25px;padding:15px 10px;box-shadow:0 0 7px rgba(0,0,0,.16),0 2px 2px rgba(0,0,0,.24);z-index:1}.toolbox h3{margin-left:5px}.tool{background-color:#dfdfda;border-radius:15px;margin-top:5px;padding:4px 4px 4px 16px}.tool:hover{background-color:#dadaca;cursor:pointer}.hoverEl{padding:5px;border-radius:10px;cursor:pointer}.hoverEl:hover{background-color:#e2dbbe}.step-text{height:22px;width:89px;color:#848484;font-family:"Open Sans";font-size:16px;line-height:22px;bottom:20px}.step-menu,.step-text{text-align:center;position:absolute;left:50%;-webkit-transform:translateX(-50%);transform:translateX(-50%)}.step-menu{bottom:53px;box-sizing:border-box;height:73px;line-height:73px;width:278px;border-radius:36.5px;background-color:#eaeaea;border:1px solid #e6e6e6;box-shadow:0 0 8px 0 rgba(0,0,0,.28)}.step-menu div{display:inline-block;margin-top:2.6px;margin-left:16px}.step-menu div:first-child{margin-left:0}.step-menu .undo-btn.disabled{background-color:#c3cbc2!important;box-shadow:none!important;cursor:not-allowed!important}.step-menu .undo-btn.disabled .undo-svg svg path{fill:#868686}.step-menu .redo-btn.disabled{background-color:#b7b7b7!important;box-shadow:none!important;cursor:not-allowed!important}.step-menu .redo-btn.disabled .redo-svg svg path{fill:#868686}.step-menu .undo-btn{width:60px;height:60px;background-color:#a8b4a7;box-shadow:0 2px 4px 0 rgba(0,0,0,.24);border-radius:50%;position:relative;margin-right:17px;cursor:pointer}.step-menu .undo-btn:hover{box-shadow:0 1px 2px 0 rgba(0,0,0,.35)}.step-menu .undo-btn .undo-svg{margin-top:0}.step-menu .redo-btn{position:absolute;bottom:3px;right:100px;background-color:#b7b7b7;border-radius:50%;line-height:32px;height:29px;width:29px;box-shadow:0 1px 6px 0 rgba(0,0,0,.29);cursor:pointer}.step-menu .redo-btn div{margin-top:0}.step-menu .redo-btn:hover{box-shadow:0 .5px 3px 0 rgba(0,0,0,.35)}.step-menu .redo-btn .redo-svg{margin-top:0}.dropdown-menu{width:100vw;height:40px;background-color:#eee;padding-left:15px}.dropdown-menu .menu-title{height:30px;line-height:30px;padding-left:10px;padding-right:10px;border-radius:8px;float:left;font-weight:700;margin-top:5px;margin-bottom:5px;cursor:pointer;transition:box-shadow .2s}.dropdown-menu .menu-title:hover{box-shadow:inset -5px -5px 3px #f5f5f5,inset 5px 5px 3px #dadada}.dropdown-menu .menu-title:active{box-shadow:inset -5px -5px 3px #f9f9f9,inset 5px 5px 3px #d4d4d4;background-color:#ebebeb}.example-appear{opacity:.01}.example-appear.example-appear-active{opacity:1;transition:1s}body,h1,h2{color:#1a1423}h3,h4,h5,h6{color:#66666e}.formulaTable{table-layout:fixed;width:100%;border-collapse:collapse}.formulaTable .plus{padding-right:5px;padding-left:3px}.formulaTable .plus:before{content:"+"}.formulaTable tr{border:1px solid #ddd;height:40px}.formulaTable td{vertical-align:middle;padding:5px;height:25px;background-color:#fafafa}.formulaTable td.interactive{cursor:pointer;color:#848484}.formulaTable td.interactive:hover{color:#545454}.formulaTable td.close{width:30px}h2{padding-top:15px}input{height:25px;width:100%;padding:15px;border-radius:4px;border:1px solid #ddd;max-width:375px}.floating-window.shown{top:50%!important}.floating-window{transition:top 1s;position:absolute;height:720px;width:980px;border-radius:25px;top:-50%;left:50%;-webkit-transform:translate(-50%,-50%);transform:translate(-50%,-50%);background-color:#fff;box-shadow:0 4px 10px 0 rgba(0,0,0,.11);overflow:hidden}.floating-window .toolbar{position:absolute;bottom:0;height:68px;width:100%;border-radius:0 0 25px 25px;background-color:#eaeaea;display:flex;flex-direction:row-reverse;padding:6px 20px 6px 6px}.floating-window .toolbar .svg{display:inline-block;padding-right:10px}.floating-window .toolbar .back{position:absolute;top:8px;left:20px;background:none;color:#848484;box-shadow:none!important}.floating-window .toolbar button{width:126px;border-radius:15px;margin:2px 6px 2px 0;box-shadow:0 0 10px 0 rgba(0,0,0,.1);transition:.1s;color:#fff}.floating-window .toolbar button:hover{box-shadow:0 0 6px 0 rgba(0,0,0,.3)}.floating-window .toolbar button:active{box-shadow:0 0 2px 0 rgba(0,0,0,.5);color:#ccc}.floating-window .full-width{padding:40px 60px!important}.floating-window .content{padding:20px;height:720px;overflow:auto}.floating-window .content p{font-size:18px;line-height:25px}.floating-window .content .column{padding:20px 40px;float:left;width:50%}.floating-window .content:after{content:"";display:block;clear:both;height:80px}.floating-window .content .divider{position:absolute;top:0;left:50%;height:100%;width:1px;background-color:#b7b7b7}.proofField{box-shadow:0 0 4px 0 rgba(0,0,0,.3);padding:8px;margin-bottom:10px;border-radius:10px;font-weight:700;color:#555;cursor:pointer}.proofField:hover{color:#61f} -/*# sourceMappingURL=main.782888a2.chunk.css.map */ \ No newline at end of file diff --git a/static/css/main.782888a2.chunk.css.map b/static/css/main.782888a2.chunk.css.map deleted file mode 100644 index febef37..0000000 --- a/static/css/main.782888a2.chunk.css.map +++ /dev/null @@ -1 +0,0 @@ -{"version":3,"sources":["main.782888a2.chunk.css","index.scss","App.scss","Canvas.scss","../colors.scss","CreateNew.scss","intro.scss"],"names":[],"mappings":"AAAA,4IAA4I,CCK5I,iBACE,qBAAqB,CACrB,0BAA0B,CAC1B,6BAA6B,CAC7B,yBAAyB,CAC1B,KAGC,kCAAoC,CACpC,kCAAmC,CACnC,iCAAkC,CACnC,kBAGC,8BAAgC,CAChC,QAAS,CACV,EAEC,QAAS,CACV,GAEC,cAAe,CACf,gBAAiB,CAClB,KAGC,yEACW,CChCb,eACE,UAAU,CACV,WAAW,CACX,QAAQ,CACR,SAAS,CACT,eAAgB,CACjB,SAGC,+BAAoC,CACrC,SAGC,wBAAyB,CACzB,YAAa,CACb,WAAY,CACZ,8BAA+B,CAChC,MAGC,aAAc,CACd,cAAe,CACf,eAAgB,CAChB,YAAa,CACd,OAGC,wBAAyB,CACzB,WAAY,CACZ,UAAY,CACZ,iBAAkB,CAClB,iBAAkB,CAClB,oBAAqB,CACrB,oBAAqB,CACrB,cAAe,CACf,iBAAkB,CAClB,6DAAmE,CAVrE,aAYI,4DAAkE,CAZtE,cAeI,0DAAkE,CCvCtE,QACE,WAAY,CACZ,YAAa,CACd,KAGC,gBAAiB,CAClB,UAGC,YAAa,CACb,0BAA2B,CACzB,wBAAyB,CAEtB,qBAAsB,CACrB,oBAAqB,CACjB,gBAAiB,CAE5B,SAGC,iBAAkB,CAClB,oBAAqB,CACrB,WAAY,CACZ,UAAW,CACX,wBCtBkB,CDuBlB,WAAY,CACZ,kBAAmB,CAGnB,iBAAmB,CACnB,4DAAkE,CAClE,SAAU,CAZZ,YAcI,eAAgB,CACjB,MAID,wBAAyB,CACzB,kBAAmB,CAEnB,cAAe,CACf,wBAAkB,CALpB,YAOI,wBAAyB,CACzB,cAAe,CAChB,SAID,WAAY,CACZ,kBAAmB,CACnB,cAAe,CAHjB,eAKI,wBCzDS,CD0DV,WAID,WAAY,CACZ,UAAW,CACX,aAAc,CACd,uBAAwB,CACxB,cAAe,CACf,gBAAiB,CAMjB,WAAY,CACb,sBANC,iBAAkB,CAClB,iBAAkB,CAClB,QAAS,CACT,kCAAmC,CACnC,0BAkBkB,CAhBnB,WAOC,WAAY,CACZ,qBAAsB,CACtB,WAAY,CACZ,gBAAiB,CACjB,WAAY,CACZ,oBAAqB,CACrB,wBAAyB,CACzB,wBAAyB,CACzB,oCACkB,CAdpB,eAgBI,oBAAqB,CACrB,gBAAiB,CACjB,gBAAiB,CAlBrB,2BAoBM,aAAc,CApBpB,8BAwBI,kCAAoC,CACpC,yBAA2B,CAI3B,4BAA8B,CA7BlC,iDA2BM,YAAsB,CA3B5B,8BAgCI,kCAAoC,CACpC,yBAA2B,CAI3B,4BAA8B,CArClC,iDAmCM,YAAsB,CAnC5B,qBAwCI,UAAW,CACX,WAAY,CACZ,wBAAyB,CACzB,sCAAwC,CACxC,iBAAkB,CAClB,iBAAkB,CAClB,iBAAkB,CAClB,cAAe,CA/CnB,2BAiDM,sCAAwC,CAjD9C,+BAoDM,YAAa,CApDnB,qBAyDM,iBAAkB,CAClB,UAAW,CACX,WAAY,CACZ,wBAAyB,CACzB,iBAAkB,CAClB,gBAAiB,CACjB,WAAY,CACZ,UAAW,CACX,sCAAwC,CACxC,cAAe,CAlErB,yBAwDY,YAAa,CAxDzB,2BAoEQ,uCAA0C,CApElD,+BAuEQ,YAAa,CACd,eAKL,WAAY,CACZ,WAAY,CACZ,qBAAsB,CACtB,iBAAkB,CAJpB,2BAMI,WAAY,CACZ,gBAAiB,CACjB,iBAAkB,CAClB,kBAAmB,CACnB,iBAAkB,CAClB,UAAW,CACX,eAAiB,CACjB,cAAe,CACf,iBAAkB,CAClB,cAAe,CACf,yBAA2B,CAhB/B,iCAkBM,gEAAkE,CAlBxE,kCAqBM,gEAAkE,CAClE,wBAAyB,CAC1B,gBAKH,WAAa,CACd,sCAGC,SAAU,CACV,aAAgB,CChLjB,WAGC,aAVa,CAWd,YAGC,aAbY,CCDd,cACE,kBAAmB,CACnB,UAAW,CACX,wBAAyB,CAH3B,oBAQI,iBAAkB,CAClB,gBAAiB,CATrB,2BAMM,WAAY,CANlB,iBAYI,qBAAsB,CACtB,WAAY,CAbhB,iBAgBI,qBAAsB,CACtB,WAAY,CACZ,WAAY,CACZ,wBAAyB,CAnB7B,6BAsBI,cAAe,CACf,aAAc,CAvBlB,mCAyBM,aAAc,CAzBpB,uBA6BI,UAAW,CACZ,GAID,gBAAiB,CAClB,MAGC,WAAY,CACZ,UAAW,CACX,YAAa,CACb,iBAAkB,CAClB,qBAAsB,CACtB,eAAgB,CC7ClB,uBACE,iBAAmB,CACpB,iBAGC,iBAAkB,CAClB,iBAAkB,CAClB,YAAa,CACb,WAAY,CACZ,kBAAmB,CACnB,QAAS,CACT,QAAS,CACT,sCAAgC,CAAhC,8BAAgC,CAChC,qBAAuB,CACvB,uCAAyC,CACzC,eAAgB,CAXlB,0BAaI,iBAAkB,CAClB,QAAS,CACT,WAAY,CACZ,UAAW,CACX,2BAA4B,CAC5B,wBAAyB,CACzB,YAAa,CACb,0BAA2B,CAE3B,wBAAmB,CAtBvB,+BAwBM,oBAAqB,CACrB,kBAAmB,CAzBzB,gCA4BM,iBAAkB,CAClB,OAAQ,CACR,SAAU,CACV,eAAgB,CAChB,aAAc,CACd,yBAA2B,CAjCjC,iCAoCM,WAAY,CACZ,kBAAmB,CAInB,oBAAkB,CAClB,oCAAsC,CACtC,cAAgB,CAChB,UAAY,CA5ClB,uCA8CQ,mCAAqC,CA9C7C,wCAiDQ,mCAAqC,CACrC,UAAW,CAlDnB,6BAuDI,2BAA6B,CAvDjC,0BA0DI,YAAa,CACb,YAAa,CACb,aAAc,CA5DlB,4BA8DM,cAAe,CACf,gBAAiB,CA/DvB,kCAkEM,iBAAkB,CAClB,UAAW,CACX,SAAU,CApEhB,gCAuEM,UAAW,CACX,aAAc,CACd,UAAW,CACX,WAAY,CA1ElB,mCA6EM,iBAAkB,CAClB,KAAM,CACN,QAAS,CACT,WAAY,CACZ,SAAU,CACV,wBAAyB,CAC1B,YAKH,mCAAqC,CACrC,WAAY,CACZ,kBAAmB,CACnB,kBAAmB,CACnB,eAAiB,CACjB,UAAW,CACX,cAAe,CAPjB,kBASI,UAAc","file":"main.782888a2.chunk.css","sourcesContent":["@import url(https://fonts.googleapis.com/css2?family=Heebo:wght@400;500;800&family=Open+Sans:ital,wght@0,300;0,400;0,700;1,400&display=swap);\nbody{color:#1A1423}h1,h2{color:#1A1423}h3,h4,h5,h6{color:#66666E}*,*:before,*:after{box-sizing:border-box;-moz-box-sizing:border-box;-webkit-box-sizing:border-box;-ms-box-sizing:border-box}body{font-family:'Open Sans', sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:'Heebo', sans-serif;margin:0}p{margin:0}h1{font-size:42px;line-height:62px}code{font-family:source-code-pro, Menlo, Monaco, Consolas, 'Courier New', monospace}\n\nhtml,body,.App{width:100%;height:100%;margin:0;padding:0;overflow:hidden}.whiteBG{background-color:#FFFFFF !important}.initial{background-color:#F0F0F0;height:100vh;width:100vw;transition:background-color 1s}input{font-size:1em;highlight:none;border-radius:0;outline:none}button{background-color:#9AA899;border:none;color:white;padding:15px 32px;text-align:center;text-decoration:none;display:inline-block;font-size:16px;margin-right:30px;box-shadow:0 0px 10px rgba(0,0,0,0.23),0 2px 3px rgba(0,0,0,0.34)}button:hover{box-shadow:0 0px 7px rgba(0,0,0,0.16),0 2px 2px rgba(0,0,0,0.24)}button:active{box-shadow:0 0px 2px rgba(0,0,0,0.09),0 0px 1px rgba(0,0,0,0.16)}\n\nbody{color:#1A1423}h1,h2{color:#1A1423}h3,h4,h5,h6{color:#66666E}.canvas{width:100vw;height:100vh}.abs{display:absolute}.noselect{outline:none;-webkit-touch-callout:none;-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}.toolbox{position:absolute;display:inline-block;width:200px;float:left;background-color:#EAEAEA;margin:20px;border-radius:25px;padding:15px;padding-left:10px;padding-right:10px;box-shadow:0 0px 7px rgba(0,0,0,0.16),0 2px 2px rgba(0,0,0,0.24);z-index:1}.toolbox h3{margin-left:5px}.tool{background-color:#DFDFDA;border-radius:15px;padding:4px;margin-top:5px;padding-left:16px}.tool:hover{background-color:#DADACA;cursor:pointer}.hoverEl{padding:5px;border-radius:10px;cursor:pointer}.hoverEl:hover{background-color:#e2dbbe}.step-text{height:22px;width:89px;color:#848484;font-family:\"Open Sans\";font-size:16px;line-height:22px;text-align:center;position:absolute;left:50%;-webkit-transform:translateX(-50%);transform:translateX(-50%);bottom:20px}.step-menu{position:absolute;left:50%;-webkit-transform:translateX(-50%);transform:translateX(-50%);bottom:53px;box-sizing:border-box;height:73px;line-height:73px;width:278px;border-radius:36.5px;background-color:#EAEAEA;border:1px solid #E6E6E6;box-shadow:0 0 8px 0 rgba(0,0,0,0.28);text-align:center}.step-menu div{display:inline-block;margin-top:2.6px;margin-left:16px}.step-menu div:first-child{margin-left:0}.step-menu .undo-btn.disabled{background-color:#C3CBC2 !important;box-shadow:none !important;cursor:not-allowed !important}.step-menu .undo-btn.disabled .undo-svg svg path{fill:#868686}.step-menu .redo-btn.disabled{background-color:#B7B7B7 !important;box-shadow:none !important;cursor:not-allowed !important}.step-menu .redo-btn.disabled .redo-svg svg path{fill:#868686}.step-menu .undo-btn{width:60px;height:60px;background-color:#A8B4A7;box-shadow:0 2px 4px 0 rgba(0,0,0,0.24);border-radius:50%;position:relative;margin-right:17px;cursor:pointer}.step-menu .undo-btn:hover{box-shadow:0 1px 2px 0 rgba(0,0,0,0.35)}.step-menu .undo-btn .undo-svg{margin-top:0}.step-menu .redo-btn{position:absolute;bottom:3px;right:100px;background-color:#B7B7B7;border-radius:50%;line-height:32px;height:29px;width:29px;box-shadow:0 1px 6px 0 rgba(0,0,0,0.29);cursor:pointer}.step-menu .redo-btn div{margin-top:0}.step-menu .redo-btn:hover{box-shadow:0 0.5px 3px 0 rgba(0,0,0,0.35)}.step-menu .redo-btn .redo-svg{margin-top:0}.dropdown-menu{width:100vw;height:40px;background-color:#EEE;padding-left:15px}.dropdown-menu .menu-title{height:30px;line-height:30px;padding-left:10px;padding-right:10px;border-radius:8px;float:left;font-weight:bold;margin-top:5px;margin-bottom:5px;cursor:pointer;transition:box-shadow 0.2s}.dropdown-menu .menu-title:hover{box-shadow:inset -5px -5px 3px #F5F5F5, inset 5px 5px 3px #DADADA}.dropdown-menu .menu-title:active{box-shadow:inset -5px -5px 3px #F9F9F9, inset 5px 5px 3px #D4D4D4;background-color:#EBEBEB}.example-appear{opacity:0.01}.example-appear.example-appear-active{opacity:1;transition:1.0s}\n\nbody{color:#1A1423}h1,h2{color:#1A1423}h3,h4,h5,h6{color:#66666E}.formulaTable{table-layout:fixed;width:100%;border-collapse:collapse}.formulaTable .plus{padding-right:5px;padding-left:3px}.formulaTable .plus:before{content:'+'}.formulaTable tr{border:1px solid #DDD;height:40px}.formulaTable td{vertical-align:middle;padding:5px;height:25px;background-color:#FAFAFA}.formulaTable td.interactive{cursor:pointer;color:#848484}.formulaTable td.interactive:hover{color:#545454}.formulaTable td.close{width:30px}h2{padding-top:15px}input{height:25px;width:100%;padding:15px;border-radius:4px;border:1px solid #DDD;max-width:375px}\n\n.floating-window.shown{top:50% !important}.floating-window{transition:top 1s;position:absolute;height:720px;width:980px;border-radius:25px;top:-50%;left:50%;-webkit-transform:translate(-50%, -50%);transform:translate(-50%, -50%);background-color:white;box-shadow:0 4px 10px 0 rgba(0,0,0,0.11);overflow:hidden}.floating-window .toolbar{position:absolute;bottom:0;height:68px;width:100%;border-radius:0 0 25px 25px;background-color:#EAEAEA;display:flex;flex-direction:row-reverse;padding:6px;padding-right:20px}.floating-window .toolbar .svg{display:inline-block;padding-right:10px}.floating-window .toolbar .back{position:absolute;top:8px;left:20px;background:none;color:#848484;box-shadow:none !important}.floating-window .toolbar button{width:126px;border-radius:15px;margin:0;margin-right:6px;margin-top:2px;margin-bottom:2px;box-shadow:0 0 10px 0 rgba(0,0,0,0.1);transition:0.1s;color:white}.floating-window .toolbar button:hover{box-shadow:0 0 6px 0 rgba(0,0,0,0.3)}.floating-window .toolbar button:active{box-shadow:0 0 2px 0 rgba(0,0,0,0.5);color:#CCC}.floating-window .full-width{padding:40px 60px !important}.floating-window .content{padding:20px;height:720px;overflow:auto}.floating-window .content p{font-size:18px;line-height:25px}.floating-window .content .column{padding:20px 40px;float:left;width:50%}.floating-window .content:after{content:\"\";display:block;clear:both;height:80px}.floating-window .content .divider{position:absolute;top:0;left:50%;height:100%;width:1px;background-color:#B7B7B7}.proofField{box-shadow:0 0 4px 0 rgba(0,0,0,0.3);padding:8px;margin-bottom:10px;border-radius:10px;font-weight:bold;color:#555;cursor:pointer}.proofField:hover{color:#6611FF}\n\n","// https://coolors.co/e2dbbe-9aa899-1a1423-66666e-9999a1\n\n@import 'colors';\n@import url('https://fonts.googleapis.com/css2?family=Heebo:wght@400;500;800&family=Open+Sans:ital,wght@0,300;0,400;0,700;1,400&display=swap');\n\n* , *:before, *:after{ \n box-sizing:border-box; \n -moz-box-sizing:border-box; \n -webkit-box-sizing:border-box; \n -ms-box-sizing:border-box;\n}\n\nbody {\n font-family: 'Open Sans', sans-serif;\n -webkit-font-smoothing: antialiased;\n -moz-osx-font-smoothing: grayscale;\n}\n\nh1,h2,h3,h4,h5,h6 {\n font-family: 'Heebo', sans-serif;\n margin: 0;\n}\np {\n margin: 0;\n}\nh1 {\n font-size: 42px;\n line-height: 62px;\n}\n\ncode {\n font-family: source-code-pro, Menlo, Monaco, Consolas, 'Courier New',\n monospace;\n}\n","html, body, .App {\n width:100%; \n height:100%; \n margin:0; \n padding:0;\n overflow: hidden; \n}\n\n.whiteBG {\n background-color: #FFFFFF !important;\n}\n\n.initial {\n background-color: #F0F0F0;\n height: 100vh;\n width: 100vw;\n transition: background-color 1s;\n}\n\ninput {\n font-size: 1em;\n highlight: none;\n border-radius: 0;\n outline: none;\n}\n\nbutton {\n background-color: #9AA899;\n border: none;\n color: white;\n padding: 15px 32px;\n text-align: center;\n text-decoration: none;\n display: inline-block;\n font-size: 16px;\n margin-right: 30px;\n box-shadow: 0 0px 10px rgba(0,0,0,0.23), 0 2px 3px rgba(0,0,0,0.34);\n &:hover {\n box-shadow: 0 0px 7px rgba(0,0,0,0.16), 0 2px 2px rgba(0,0,0,0.24);\n }\n &:active {\n box-shadow: 0 0px 2px rgba(0,0,0,0.09), 0 0px 1px rgba(0,0,0,0.16);\n }\n}","@import '../colors';\n\n.canvas { \n width: 100vw;\n height: 100vh;\n}\n\n.abs {\n display: absolute;\n}\n\n.noselect {\n outline: none;\n -webkit-touch-callout: none; /* iOS Safari */\n -webkit-user-select: none; /* Safari */\n -khtml-user-select: none; /* Konqueror HTML */\n -moz-user-select: none; /* Old versions of Firefox */\n -ms-user-select: none; /* Internet Explorer/Edge */\n user-select: none; /* Non-prefixed version, currently\n supported by Chrome, Opera and Firefox */\n}\n\n.toolbox {\n position: absolute;\n display: inline-block;\n width: 200px;\n float: left;\n background-color: $white-gray;\n margin: 20px;\n border-radius: 25px;\n padding: 15px;\n padding-left: 10px;\n padding-right: 10px;\n box-shadow: 0 0px 7px rgba(0,0,0,0.16), 0 2px 2px rgba(0,0,0,0.24);\n z-index: 1;\n h3 {\n margin-left: 5px;\n }\n}\n\n.tool {\n background-color: #DFDFDA;\n border-radius: 15px;\n padding: 4px;\n margin-top: 5px;\n padding-left: 16px;\n &:hover {\n background-color: #DADACA;\n cursor: pointer;\n }\n}\n\n.hoverEl {\n padding: 5px;\n border-radius: 10px;\n cursor: pointer;\n &:hover {\n background-color: $tan;\n }\n}\n\n.step-text {\n height: 22px;\n width: 89px;\n color: #848484;\n font-family: \"Open Sans\";\n font-size: 16px;\n line-height: 22px;\n text-align: center;\n position: absolute;\n left: 50%;\n -webkit-transform: translateX(-50%);\n transform: translateX(-50%);\n bottom: 20px;\n}\n\n.step-menu {\n position: absolute;\n left: 50%;\n -webkit-transform: translateX(-50%);\n transform: translateX(-50%);\n bottom: 53px;\n box-sizing: border-box;\n height: 73px;\n line-height: 73px;\n width: 278px;\n border-radius: 36.5px;\n background-color: #EAEAEA;\n border: 1px solid #E6E6E6;\n box-shadow: 0 0 8px 0 rgba(0,0,0,0.28);\n text-align: center;\n div {\n display: inline-block;\n margin-top: 2.6px;\n margin-left: 16px;\n &:first-child {\n margin-left: 0;\n }\n }\n .undo-btn.disabled {\n background-color: #C3CBC2 !important;\n box-shadow: none !important;\n .undo-svg svg path {\n fill: rgb(134,134,134);\n }\n cursor: not-allowed !important;\n }\n .redo-btn.disabled {\n background-color: #B7B7B7 !important;\n box-shadow: none !important;\n .redo-svg svg path {\n fill: rgb(134,134,134);\n }\n cursor: not-allowed !important;\n }\n .undo-btn {\n width: 60px;\n height: 60px;\n background-color: #A8B4A7;\n box-shadow: 0 2px 4px 0 rgba(0,0,0,0.24);\n border-radius: 50%;\n position: relative;\n margin-right: 17px;\n cursor: pointer;\n &:hover {\n box-shadow: 0 1px 2px 0 rgba(0,0,0,0.35);\n }\n .undo-svg {\n margin-top: 0;\n }\n }\n .redo-btn {\n div { margin-top: 0; }\n position: absolute;\n bottom: 3px;\n right: 100px;\n background-color: #B7B7B7;\n border-radius: 50%;\n line-height: 32px;\n height: 29px;\n width: 29px;\n box-shadow: 0 1px 6px 0 rgba(0,0,0,0.29);\n cursor: pointer;\n &:hover {\n box-shadow: 0 0.5px 3px 0 rgba(0,0,0,0.35);\n }\n .redo-svg {\n margin-top: 0;\n }\n }\n}\n\n.dropdown-menu {\n width: 100vw;\n height: 40px;\n background-color: #EEE;\n padding-left: 15px;\n .menu-title {\n height: 30px;\n line-height: 30px;\n padding-left: 10px;\n padding-right: 10px;\n border-radius: 8px;\n float: left;\n font-weight: bold;\n margin-top: 5px;\n margin-bottom: 5px;\n cursor: pointer;\n transition: box-shadow 0.2s;\n &:hover {\n box-shadow: inset -5px -5px 3px #F5F5F5, inset 5px 5px 3px #DADADA;\n }\n &:active {\n box-shadow: inset -5px -5px 3px #F9F9F9, inset 5px 5px 3px #D4D4D4;\n background-color: #EBEBEB;\n }\n }\n}\n\n.example-appear {\n opacity: 0.01;\n}\n\n.example-appear.example-appear-active {\n opacity: 1;\n transition: 1.0s;\n}","$tan: #e2dbbe;\n$green: #9AA899;\n$black: #1A1423;\n$gray: #66666E;\n$light-gray: #9999A1;\n$white-gray: #EAEAEA;\n\nbody {\n color: $black;\n}\n\nh1,h2 {\n color: $black;\n}\n\nh3,h4,h5,h6 {\n color: $gray;\n}","@import '../colors';\n\n.formulaTable {\n table-layout: fixed;\n width: 100%;\n border-collapse: collapse;\n .plus {\n &:before {\n content: '+';\n }\n padding-right: 5px;\n padding-left: 3px;\n }\n tr {\n border: 1px solid #DDD;\n height: 40px;\n }\n td {\n vertical-align: middle;\n padding: 5px;\n height: 25px;\n background-color: #FAFAFA; \n }\n td.interactive {\n cursor: pointer;\n color: #848484;\n &:hover {\n color: #545454;\n }\n }\n td.close {\n width: 30px;\n }\n}\n\nh2 {\n padding-top: 15px;\n}\n\ninput {\n height: 25px;\n width: 100%;\n padding: 15px;\n border-radius: 4px;\n border: 1px solid #DDD;\n max-width: 375px;\n}",".floating-window.shown {\n top: 50% !important;\n}\n\n.floating-window {\n transition: top 1s;\n position: absolute;\n height: 720px;\n width: 980px;\n border-radius: 25px;\n top: -50%;\n left: 50%;\n transform: translate(-50%, -50%);\n background-color: white;\n box-shadow: 0 4px 10px 0 rgba(0,0,0,0.11);\n overflow: hidden;\n .toolbar {\n position: absolute;\n bottom: 0;\n height: 68px;\n width: 100%;\n border-radius: 0 0 25px 25px;\n background-color: #EAEAEA;\n display: flex;\n flex-direction: row-reverse;\n padding: 6px;\n padding-right: 20px;\n .svg {\n display: inline-block;\n padding-right: 10px;\n }\n .back {\n position: absolute;\n top: 8px;\n left: 20px;\n background: none;\n color: #848484;\n box-shadow: none !important;\n }\n button {\n width: 126px;\n border-radius: 15px;\n margin: 0;\n margin-right: 6px;\n margin-top: 2px;\n margin-bottom: 2px;\n box-shadow: 0 0 10px 0 rgba(0,0,0,0.1);\n transition: 0.1s;\n color: white;\n &:hover {\n box-shadow: 0 0 6px 0 rgba(0,0,0,0.3);\n }\n &:active {\n box-shadow: 0 0 2px 0 rgba(0,0,0,0.5);\n color: #CCC;\n }\n }\n }\n .full-width {\n padding: 40px 60px !important;\n }\n .content {\n padding: 20px;\n height: 720px;\n overflow: auto;\n p {\n font-size: 18px;\n line-height: 25px;\n }\n .column {\n padding: 20px 40px;\n float: left;\n width: 50%;\n }\n &:after {\n content: \"\";\n display: block;\n clear: both;\n height: 80px;\n }\n .divider {\n position: absolute;\n top: 0;\n left: 50%;\n height: 100%;\n width: 1px;\n background-color: #B7B7B7;\n }\n }\n}\n\n.proofField {\n box-shadow: 0 0 4px 0 rgba(0,0,0,0.3);\n padding: 8px;\n margin-bottom: 10px;\n border-radius: 10px;\n font-weight: bold;\n color: #555;\n cursor: pointer;\n &:hover {\n color: #6611FF;\n }\n}"]} \ No newline at end of file diff --git a/static/js/2.128e0e37.chunk.js b/static/js/2.128e0e37.chunk.js new file mode 100644 index 0000000..f16a0a1 --- /dev/null +++ b/static/js/2.128e0e37.chunk.js @@ -0,0 +1,3 @@ +/*! For license information please see 2.128e0e37.chunk.js.LICENSE.txt */ +(this["webpackJsonpexistential-graphs"]=this["webpackJsonpexistential-graphs"]||[]).push([[2],[function(e,t,n){"use strict";e.exports=n(28)},function(e,t,n){"use strict";function r(e){if(void 0===e)throw new ReferenceError("this hasn't been initialised - super() hasn't been called");return e}n.d(t,"a",(function(){return r}))},function(e,t,n){e.exports=n(35)()},function(e,t,n){"use strict";function r(e,t){if(!(e instanceof t))throw new TypeError("Cannot call a class as a function")}n.d(t,"a",(function(){return r}))},function(e,t,n){"use strict";function r(e,t){for(var n=0;n0&&("always"===t||"once"===t&&!g[o])){for(var P=0,_=A.length;P<_;P++)new Function(A[P])(window);g[o]=!0}var I=l.querySelectorAll("style");Array.prototype.forEach.call(I,(function(e){e.textContent+=""})),l.setAttribute("xmlns","http://www.w3.org/2000/svg"),l.setAttribute("xmlns:xlink",v),r(l),e.parentNode&&e.parentNode.replaceChild(l,e),m.splice(m.indexOf(e),1),e=null,a(null,l)}))}else a(new Error("Attempted to inject a file with a non-svg extension: "+o))},b=n(2),x=n(0),w=n(23),k=n.n(w),S=function(e){function t(){var t;return(t=e.apply(this,arguments)||this).initialState={hasError:!1,isLoading:!0},t.state=t.initialState,t._isMounted=!1,t.refCallback=function(e){t.container=e},t}i()(t,e);var n=t.prototype;return n.renderSVG=function(){var e=this;if(this.container instanceof Node){var t=this.props,n=t.beforeInjection,r=t.evalScripts,a=t.renumerateIRIElements,o=t.src,i=this.props.afterInjection,l=this.props.wrapper,s=document.createElement(l);s.innerHTML=k.a.renderToStaticMarkup(Object(x.createElement)(l,null,Object(x.createElement)(l,{"data-src":o}))),this.svgWrapper=this.container.appendChild(s.firstChild);!function(e,t){var n=void 0===t?{}:t,r=n.afterAll,a=void 0===r?function(){}:r,o=n.afterEach,i=void 0===o?function(){}:o,l=n.beforeEach,s=void 0===l?function(){}:l,u=n.evalScripts,c=void 0===u?"never":u,h=n.renumerateIRIElements,f=void 0===h||h;if(e&&"length"in e)for(var d=0,p=0,m=e.length;p0&&void 0!==arguments[0]?arguments[0]:21,t="",n=crypto.getRandomValues(new Uint8Array(e));e--;){var r=63&n[e];t+=r<36?r.toString(36):r<62?(r-26).toString(36).toUpperCase():r<63?"_":"-"}return t}},function(e,t,n){"use strict";t.__esModule=!0;var r=Object.assign||function(e){for(var t=1;t=0||(a[n]=e[n]);return a}},function(e,t){e.exports=function(e,t){e.prototype=Object.create(t.prototype),e.prototype.constructor=e,e.__proto__=t}},function(e,t,n){"use strict";e.exports=n(37)},function(e,t,n){"use strict";var r=n(39),a=n(40),o=n(42),i=n(43),l=n(45),s=l(),u=l(!0),c=n(46),h=n(47),f=n(48);function d(e,t){var n=(t=t||{}).controller;if(n||(h.canAttach(e)?n=h(e,t):f.canAttach(e)&&(n=f(e,t))),!n)throw new Error("Cannot create panzoom for the current type of dom element");var l=n.getOwner(),d={x:0,y:0},m=!1,b=new c;n.initTransform&&n.initTransform(b);var x,w="function"===typeof t.filterKey?t.filterKey:g,k="number"===typeof t.pinchSpeed?t.pinchSpeed:1,S=t.bounds,T="number"===typeof t.maxZoom?t.maxZoom:Number.POSITIVE_INFINITY,E="number"===typeof t.minZoom?t.minZoom:0,M="number"===typeof t.boundsPadding?t.boundsPadding:.05,C="number"===typeof t.zoomDoubleClickSpeed?t.zoomDoubleClickSpeed:1.75,z=t.beforeWheel||g,A=t.beforeMouseDown||g,N="number"===typeof t.zoomSpeed?t.zoomSpeed:1,O=p(t.transformOrigin),P=t.enableTextSelection?u:s;!function(e){var t=typeof e;if("undefined"===t||"boolean"===t)return;if(!(v(e.left)&&v(e.top)&&v(e.bottom)&&v(e.right)))throw new Error("Bounds object is not valid. It can be: undefined, boolean (true|false) or an object {left, top, right, bottom}")}(S),t.autocenter&&function(){var e,t,r=0,a=0,o=Q();if(o)r=o.left,a=o.top,e=o.right-o.left,t=o.bottom-o.top;else{var i=l.getBoundingClientRect();e=i.width,t=i.height}var s=n.getBBox();if(0===s.width||0===s.height)return;var u=t/s.height,c=e/s.width,h=Math.min(c,u);b.x=-(s.left+s.width/2)*h+e/2+r,b.y=-(s.top+s.height/2)*h+t/2+a,b.scale=h}();var _,I,R,L,B,D,F,q,j=0,H=!1,V=!1;B="smoothScroll"in t&&!t.smoothScroll?{start:g,stop:g,cancel:g}:i((function(){return{x:b.x,y:b.y}}),(function(e,t){we(),$(e,t)}),t.smoothScroll);var U=!1;te();var W={dispose:function(){ne()},moveBy:ee,moveTo:$,centerOn:function(e){var t=e.ownerSVGElement;if(!t)throw new Error("ui element is required to be within the scene");var n=e.getBoundingClientRect(),r=n.left+n.width/2,a=n.top+n.height/2,o=t.getBoundingClientRect(),i=o.width/2-r,l=o.height/2-a;ee(i,l,!0)},zoomTo:xe,zoomAbs:J,smoothZoom:ye,smoothZoomAbs:function(e,t,n){var r={scale:b.scale},o={scale:n};B.cancel(),we(),F=a(r,o,{step:function(n){J(e,t,n.scale)}})},showRectangle:function(e){var t=l.getBoundingClientRect(),n=G(t.width,t.height),r=e.right-e.left,a=e.bottom-e.top;if(!Number.isFinite(r)||!Number.isFinite(a))throw new Error("Invalid rectangle");var o=n.x/r,i=n.y/a,s=Math.min(o,i);b.x=-(e.left+r/2)*s+n.x/2,b.y=-(e.top+a/2)*s+n.y/2,b.scale=s},pause:function(){ne(),U=!0},resume:function(){U&&(te(),U=!1)},isPaused:function(){return U},getTransform:function(){return b},getMinZoom:function(){return E},setMinZoom:function(e){E=e},getMaxZoom:function(){return T},setMaxZoom:function(e){T=e},getTransformOrigin:function(){return O},setTransformOrigin:function(e){O=p(e)},getZoomSpeed:function(){return N},setZoomSpeed:function(e){if(!Number.isFinite(e))throw new Error("Zoom speed should be a number");N=e}};return o(W),W;function G(e,t){if(n.getScreenCTM){var r=n.getScreenCTM(),a=r.a,o=r.d,i=r.e,l=r.f;d.x=e*a-i,d.y=t*o-l}else d.x=e,d.y=t;return d}function $(e,t){b.x=e,b.y=t,X(),Me("pan"),K()}function Y(e,t){$(b.x+e,b.y+t)}function X(){var e=Q();if(e){var t=!1,r=function(){var e=n.getBBox(),t=(r=e.left,a=e.top,{x:r*b.scale+b.x,y:a*b.scale+b.y});var r,a;return{left:t.x,top:t.y,right:e.width*b.scale+t.x,bottom:e.height*b.scale+t.y}}(),a=e.left-r.right;return a>0&&(b.x+=a,t=!0),(a=e.right-r.left)<0&&(b.x+=a,t=!0),(a=e.top-r.bottom)>0&&(b.y+=a,t=!0),(a=e.bottom-r.top)<0&&(b.y+=a,t=!0),t}}function Q(){if(S){if("boolean"===typeof S){var e=l.getBoundingClientRect(),t=e.width,n=e.height;return{left:t*M,top:n*M,right:t*(1-M),bottom:n*(1-M)}}return S}}function K(){m=!0,x=window.requestAnimationFrame(re)}function Z(e,t,n){if(y(e)||y(t)||y(n))throw new Error("zoom requires valid numbers");var r=b.scale*n;if(rT){if(b.scale===T)return;n=T/b.scale}var a=G(e,t);(b.x=a.x-n*(a.x-b.x),b.y=a.y-n*(a.y-b.y),S&&1===M&&1===E)?(b.scale*=n,X()):X()||(b.scale*=n);Me("zoom"),K()}function J(e,t,n){Z(e,t,n/b.scale)}function ee(e,t,n){if(!n)return Y(e,t);D&&D.cancel();var r=0,o=0;D=a({x:0,y:0},{x:e,y:t},{step:function(e){Y(e.x-r,e.y-o),r=e.x,o=e.y}})}function te(){l.addEventListener("mousedown",he,{passive:!1}),l.addEventListener("dblclick",ce,{passive:!1}),l.addEventListener("touchstart",oe,{passive:!1}),l.addEventListener("keydown",ae,{passive:!1}),r.addWheelListener(l,ge,{passive:!1}),K()}function ne(){r.removeWheelListener(l,ge),l.removeEventListener("mousedown",he),l.removeEventListener("keydown",ae),l.removeEventListener("dblclick",ce),l.removeEventListener("touchstart",oe),x&&(window.cancelAnimationFrame(x),x=0),B.cancel(),pe(),me(),P.release(),Te()}function re(){m&&(m=!1,n.applyTransform(b),Me("transform"),x=0)}function ae(e){var t=0,n=0,r=0;if(38===e.keyCode?n=1:40===e.keyCode?n=-1:37===e.keyCode?t=1:39===e.keyCode?t=-1:189===e.keyCode||109===e.keyCode?r=1:187!==e.keyCode&&107!==e.keyCode||(r=-1),!w(e,t,n,r)){if(t||n){e.preventDefault(),e.stopPropagation();var a=l.getBoundingClientRect();ee(.05*(o=Math.min(a.width,a.height))*t,.05*o*n)}if(r){var o,i=ke(100*r);xe((o=O?be():function(){var e=l.getBoundingClientRect();return{x:e.width/2,y:e.height/2}}()).x,o.y,i)}}}function oe(e){if(function(e){if(t.onTouch&&!t.onTouch(e))return;e.stopPropagation(),e.preventDefault()}(e),1===e.touches.length)return function(e){var t=ve(e.touches[0]);_=t;var n=G(t.x,t.y);I=n.x,R=n.y,B.cancel(),ie()}(e,e.touches[0]);2===e.touches.length&&(L=ue(e.touches[0],e.touches[1]),q=!0,ie())}function ie(){H||(H=!0,document.addEventListener("touchmove",le),document.addEventListener("touchend",se),document.addEventListener("touchcancel",se))}function le(e){if(1===e.touches.length){e.stopPropagation();var t=G((c=ve(e.touches[0])).x,c.y),n=t.x-I,r=t.y-R;0!==n&&0!==r&&Se(),I=t.x,R=t.y,ee(n,r)}else if(2===e.touches.length){q=!0;var a=e.touches[0],o=e.touches[1],i=ue(a,o),l=1+(i/L-1)*k,s=ve(a),u=ve(o);if(I=(s.x+u.x)/2,R=(s.y+u.y)/2,O){var c=be();I=c.x,R=c.y}xe(I,R,l),L=i,e.stopPropagation(),e.preventDefault()}}function se(e){if(e.touches.length>0){var t=G((n=ve(e.touches[0])).x,n.y);I=t.x,R=t.y}else{var n,r=new Date;if(r-j<300)if(O)ye((n=be()).x,n.y,C);else ye(_.x,_.y,C);j=r,Te(),me()}}function ue(e,t){var n=e.clientX-t.clientX,r=e.clientY-t.clientY;return Math.sqrt(n*n+r*r)}function ce(e){!function(e){t.onDoubleClick&&!t.onDoubleClick(e)||(e.preventDefault(),e.stopPropagation())}(e);var n=ve(e);O&&(n=be()),ye(n.x,n.y,C)}function he(e){if(!A(e)){if(H)return e.stopPropagation(),!1;if(1===e.button&&null!==window.event||0===e.button){B.cancel();var t=ve(e),n=G(t.x,t.y);return I=n.x,R=n.y,document.addEventListener("mousemove",fe),document.addEventListener("mouseup",de),P.capture(e.target||e.srcElement),!1}}}function fe(e){if(!H){Se();var t=ve(e),n=G(t.x,t.y),r=n.x-I,a=n.y-R;I=n.x,R=n.y,ee(r,a)}}function de(){P.release(),Te(),pe()}function pe(){document.removeEventListener("mousemove",fe),document.removeEventListener("mouseup",de),V=!1}function me(){document.removeEventListener("touchmove",le),document.removeEventListener("touchend",se),document.removeEventListener("touchcancel",se),V=!1,q=!1,H=!1}function ge(e){if(!z(e)){B.cancel();var t=e.deltaY;e.deltaMode>0&&(t*=100);var n=ke(t);if(1!==n){var r=O?be():ve(e);xe(r.x,r.y,n),e.preventDefault()}}}function ve(e){var t=l.getBoundingClientRect();return{x:e.clientX-t.left,y:e.clientY-t.top}}function ye(e,t,n){var r=b.scale,o={scale:r},i={scale:n*r};B.cancel(),we(),F=a(o,i,{step:function(n){J(e,t,n.scale)},done:Ee})}function be(){var e=l.getBoundingClientRect();return{x:e.width*O.x,y:e.height*O.y}}function xe(e,t,n){return B.cancel(),we(),Z(e,t,n)}function we(){F&&(F.cancel(),F=null)}function ke(e){return 1-Math.sign(e)*Math.min(.25,Math.abs(N*e/128))}function Se(){V||(Me("panstart"),V=!0,B.start())}function Te(){V&&(q||B.stop(),Me("panend"))}function Ee(){Me("zoomend")}function Me(e){W.fire(e,W)}}function p(e){if(e)return"object"===typeof e?(v(e.x)&&v(e.y)||m(e),e):void m()}function m(e){throw console.error(e),new Error(["Cannot parse transform origin.","Some good examples:",' "center center" can be achieved with {x: 0.5, y: 0.5}',' "top center" can be achieved with {x: 0.5, y: 0}',' "bottom right" can be achieved with {x: 1, y: 1}'].join("\n"))}function g(){}function v(e){return Number.isFinite(e)}function y(e){return Number.isNaN?Number.isNaN(e):e!==e}e.exports=d,function(){if("undefined"!==typeof document){var e=document.getElementsByTagName("script");if(e){for(var t,n=0;ne.length)&&(t=e.length);for(var n=0,r=new Array(t);nN.length&&N.push(e)}function _(e,t,n){return null==e?0:function e(t,n,r,a){var l=typeof t;"undefined"!==l&&"boolean"!==l||(t=null);var s=!1;if(null===t)s=!0;else switch(l){case"string":case"number":s=!0;break;case"object":switch(t.$$typeof){case o:case i:s=!0}}if(s)return r(a,t,""===n?"."+I(t,0):n),1;if(s=0,n=""===n?".":n+":",Array.isArray(t))for(var u=0;u