*{box-sizing:border-box}pre{white-space:pre-wrap;overflow-wrap:anywhere;word-break:normal}textarea,input,select{width:100%;max-width:100%;font:inherit}.prompt{background:#edf4f3;border:1px solid #bacbc8;border-radius:12px;padding:1rem}.notice{overflow-wrap:anywhere}.columns{min-width:0}.mini{min-width:0}.mini pre{font-size:.93em}@media(max-width:700px){.columns{display:block}.mini{margin-bottom:1rem}}