.red {
    color: red;
}

.green {
    color: green;
}

.gray {
    color: rgb(192, 192, 192);
}

.button-selected {
    background-color: rgb(255, 177, 177);
}

#page-console {
    white-space: pre-line;
}