.rudolf{font-family:sans-serif;line-height:1.15;-webkit-text-size-adjust:100%;-webkit-tap-highlight-color:rgba(0,0,0,0)}.rudolf button.submit-premises{font-family:Antiqua,serif;margin:5px 5pbookx 0 8px}.rudolf select.select-premises{margin-bottom:20px;font-family:Book Antiqua,serif}.rudolf .node-container{display:inline-block;padding:.2em;text-align:center}.rudolf .node-container .split{display:flex}.rudolf .node-container .stack{display:block}.rudolf .node-container .formula{display:block;padding-left:.2em;padding-right:.2em;height:50px;box-sizing:border-box}.rudolf .node-container input{background:transparent;font-size:1em;color:#000;border-color:transparent;text-align:center;resize:horizontal;box-sizing:border-box}.rudolf .node-container input:focus{border:2px solid #00f}.rudolf .node-container .children.split{padding-top:.75em}.rudolf .spacer{height:50px;flex-grow:1}.rudolf button,.rudolf input,.rudolf optgroup,.rudolf select,.rudolf textarea{margin:0;font-family:inherit;font-size:inherit;line-height:inherit}@font-face{font-family:Fira Logic;src:url(https://cdn.jsdelivr.net/gh/gleachkr/FiraLogic/dist/FiraLogic-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/gh/gleachkr/FiraLogic/dist/FiraLogic-Regular.tff) format("tff")}
/*# sourceMappingURL=lib.css.map */