@import url('https://fonts.googleapis.com/css2?family=Open+Sans:ital,wght@0,400;0,700;1,400;1,700&family=Roboto+Mono&display=swap');

html {
    background: #552255;
    font-family: "Open Sans", sans-serif;
}

body {
    margin: 12px;
}

html, textarea, button {
    color: #eeafee;
}

a, a:visited {
    color: #D64045;
}

a:hover {
    color: #E2787C;
}

button {
    background: #331133;
    border: none;
    padding: 6px;
    margin: 6px 0;
    font-size: 1.2em;
    cursor: pointer;
}
button:hover {
    background: #553355;
}

textarea {
    background: #331133;
    border: none;
    font-family: "Roboto Mono", Consolas, monospace;
    /* from TIO */
    box-sizing: border-box;
    font-size: 16px;
    outline: none;
    overflow: hidden;
    padding: 4px 6px;
    resize: none;
    width: 100%;
}

h1, h2, h3, h4, h5, h6 {
    margin: 3px 0;
}

#dummyTextboxForCalculatingSizeOfRealTextboxes {
    height: 8px;
    opacity: 0;
}