@charset "utf-8";

* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

body {
    font-family: sans-serif;
    margin: 20px;
}

textarea {
    width: min(100%, 700px);
    height: 200px;
    margin: 10px 0;
    padding: 10px;
}

.controls {
    margin-bottom: 10px;
}

button {
    margin-right: 6px;
    padding: 6px 12px;
    border: 1px solid #aaa;
    background: #f7f7f7;
    cursor: pointer;
    border-radius: 4px;
}

#dst {
    width: min(100%, 700px);
    height: 200px;
    border: 1px solid #ccc;
    padding: 10px;
    font-family: monospace;
    white-space: pre-wrap;
}