.proof-menu{display:flex;flex-direction:row;gap:20px;padding:5px 5px;justify-content:right;border-bottom:1px solid #333;margin-bottom:5px}.proof-menu>a{text-decoration:none;color:#333;font-size:0.8em;cursor:pointer}.proof-container{display:flex;flex-direction:column;width:fit-content;min-width:100%}.line-wrapper{display:flex;flex-direction:column;position:relative}.line-container{display:flex;align-items:center;flex-direction:row;width:100%;gap:0.5em;border:2px solid rgba(0,0,0,0.2);border-radius:10px;transition:all 0.5s;position:relative}.line-container.missing:not(.line-assumption),.subproof-container.missing,.subproof-container.missing>.subproof-range{background-color:rgb(165,209,227)}.line-container.invalid,.subproof-container.invalid,.subproof-container.invalid>.subproof-range{background-color:rgb(227,100,100)}.line-container.hypothesis{background-color:rgb(242,220,113)}.line-container.ok:not(.line-assumption):not(.line-container.hypothesis),.subproof-container.ok,.subproof-container.ok>.subproof-range{background-color:rgb(209,209,209)}.line-container.valid:not(.line-assumption):not(.line-container.hypothesis),.subproof-container.valid,.subproof-container.valid>.subproof-range{background-color:rgb(128,220,128)}.line-assumption{border:2px solid transparent;border-bottom:0;padding-bottom:0;padding-top:0;border-top:0;background-color:transparent}.line-container>*{flex-grow:0;flex-shrink:0}.line-container>.line-expr{flex-grow:1}.line-info{position:absolute;top:40px;border:2px solid rgba(0,0,0,0.2);background:#333;color:#f5f5f5;border-radius:3px;font-size:0.8em;margin:6px;z-index:2;display:none;max-width:80%}.line-info.open{display:block}.line-info>.info-cursor{display:block;width:20px;height:20px;background:#333;position:absolute;top:-10px;left:100px;transform:rotate(45deg);z-index:1}.line-info>.info-message{padding:5px 10px;user-select:none}.line-info>.info-message span.error{color:red}.line-info>.info-message code{color:white;background-color:transparent;display:inline-block}.subproof-container{display:flex;flex-direction:row;border:2px solid rgba(0,0,0,0.2);border-radius:10px;width:fit-content;min-width:100%;transition:all 0.5s}.subproof-range{text-align:center;color:#333;font-size:0.8em;width:55px;padding:18px 5px;border-right:2px solid rgba(0,0,0,0.1);transition:all 0.5s;border-top-left-radius:10px;border-bottom-left-radius:10px}.subproof-parts{flex-grow:1;display:flex;flex-direction:column;padding:10px;background-color:rgb(250,250,250);border-top-right-radius:10px;border-bottom-right-radius:10px}.spacer{width:100%;height:10px}.separator{transition:all 0.5s;overflow:hidden;margin:5px auto;max-width:25px;padding:0 10px;border-radius:4px;background-color:rgba(0,0,0,0.1);display:flex;flex-direction:row;flex-wrap:nowrap;gap:40px;justify-content:center;position:relative}.separator::before{content:"+";font-size:1.2em;color:#fff;width:100%;display:block;text-align:center;position:absolute;left:0;bottom:2px;opacity:1;transition:opacity 0.5s}.separator>a{text-decoration:none;color:#999;font-size:0.6em;cursor:pointer;display:block;width:fit-content;white-space:nowrap;visibility:hidden;opacity:0.8;transition:visibility 0s,opacity 0.5s;user-select:none}.separator:hover{max-width:350px}.separator:hover>a{visibility:visible;opacity:1}.separator:hover::before{display:none;opacity:0}.line-number{text-align:center;color:#333;font-size:0.8em;width:55px;padding:5px 5px;height:fit-content}.line-expr{display:flex;flex-direction:row;padding:5px 0}.line-expr input{min-width:200px;width:100%;border:1px solid rgba(0,0,0,0.4);border-radius:5px;padding:6px;min-height:35px;font-family:'Courier New',Courier,monospace;color:#000;font-size:1em}.line-rule{display:flex;flex-direction:row;font-size:10pt;padding:5px 0}.no-expr .line-rule,.no-expr .line-refs{visibility:hidden}.line-rule select{color:#333;background:url(data:image/svg+xml;base64,PHN2ZyBpZD0iTGF5ZXJfMSIgZGF0YS1uYW1lPSJMYXllciAxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHZpZXdCb3g9IjAgMCA0Ljk1IDEwIj48ZGVmcz48c3R5bGU+LmNscy0xe2ZpbGw6I2ZmZjt9LmNscy0ye2ZpbGw6IzQ0NDt9PC9zdHlsZT48L2RlZnM+PHRpdGxlPmFycm93czwvdGl0bGU+PHJlY3QgY2xhc3M9ImNscy0xIiB3aWR0aD0iNC45NSIgaGVpZ2h0PSIxMCIvPjxwb2x5Z29uIGNsYXNzPSJjbHMtMiIgcG9pbnRzPSIxLjQxIDQuNjcgMi40OCAzLjE4IDMuNTQgNC42NyAxLjQxIDQuNjciLz48cG9seWdvbiBjbGFzcz0iY2xzLTIiIHBvaW50cz0iMy41NCA1LjMzIDIuNDggNi44MiAxLjQxIDUuMzMgMy41NCA1LjMzIi8+PC9zdmc+) white no-repeat 95% 50%;-moz-appearance:none;-webkit-appearance:none;appearance:none;border:1px solid rgba(0,0,0,0.4);border-radius:5px;padding:5px;height:35px;padding-right:25px}.line-rule select:disabled{background:white;color:#333;opacity:1}.line-refs{display:flex;flex-direction:row;gap:10px;padding:5px 0;width:150px}input.ref-part{text-align:center;width:30px;height:30px;border:1px solid rgba(0,0,0,0.4);border-radius:15px}input.ref-subproof{text-align:center;width:50px;height:30px;border:1px solid rgba(0,0,0,0.4);border-radius:15px}input.ref-part:disabled,input.ref-subproof:disabled,.line-expr input:disabled{background-color:white;color:#333}.line-controls{display:flex;flex-direction:row;width:40px;padding-right:10px;align-items:center}.line-container.line-assumption>.line-rule{flex-grow:1}.line-container.line-assumption>.line-refs{display:none}.line-container.line-assumption>.line-controls{padding-right:0;width:30px}.line-controls>a{text-decoration:none;color:#fff;font-size:1em;cursor:pointer;display:block;padding:0 5px;height:30px;border-radius:15px;background-color:rgba(0,0,0,0.1);width:30px;text-align:center;transition:all 0.5s;user-select:none}.line-controls>a:hover{background-color:rgba(0,0,0,0.3);color:#333}input.invalid,select.invalid{border-color:rgba(0,0,0,0.5);border-style:dashed}