*{box-sizing:border-box}body{font-family:mono}header>h1{margin:0}select{margin:.25em 0}label{padding-right:.5em}#regex_text{width:100%;min-height:15em}#regex_out{width:100%;min-height:10em}#regex_pat{width:100%}textarea{resize:vertical}