@font-face{font-family:Inconsolata;src:url(/fonts/Inconsolata-Regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}html,body,#root{height:100%}*{box-sizing:border-box;margin:0;padding:0}html,body,#root{color:#111;background:#fff;height:100%;font-family:Inconsolata,Courier New,Courier,monospace;font-size:14px}.app{flex-direction:column;height:100%;display:flex}.history-scroll{flex-direction:column;flex:1;gap:16px;padding:24px 32px 8px;display:flex;overflow-y:auto}.welcome{color:#888;padding:8px 0}.welcome p{margin-bottom:6px}.examples{font-size:12px;line-height:1.6}.history-item{flex-direction:column;gap:4px;display:flex}.query{color:#555}.result{padding-left:16px}.expr,.number,.solutions{color:#111}.solutions{flex-direction:column;gap:2px;display:flex}.solution-line{display:block}.no-solution{color:#888}.caveats{color:#888;margin-top:4px;font-size:12px;font-style:italic}.error{color:#c00}.graph-wrapper{margin-top:4px;overflow-x:auto}.input-bar{background:#fff;border-top:1px solid #ccc;align-items:center;gap:8px;padding:10px 32px;display:flex}.prompt{color:#555;-webkit-user-select:none;user-select:none}.input-bar input{color:#111;background:0 0;border:none;outline:none;flex:1;font-family:inherit;font-size:14px}.input-bar input::placeholder{color:#bbb}