body {
    font-family: 'Trebuchet MS', 'Lucida Sans Unicode', 'Lucida Grande', 'Lucida Sans', Arial, sans-serif;
}

button {
    padding: 5px;
}

plain-text-box {
    border: thin solid black;
    border-radius: 10px;
    padding: 5px;
    max-width: 100%;
    width: 640px;
    --text-color-active: blue;
    --text-color-inactive: lightgray;
    --text-color-tentative: gray;
}