body {
    background-color: rgb(194, 196, 198);
    color: black;
    font-family: Arial, Helvetica, sans-serif;
}

.boxed {
    background-color: rgb(207, 219, 230);
    border-width: 4px;
    border-style: solid;
    border-color: rgb(45, 147, 231);
    border-image: initial;
    font-family: monospace;
    padding: 6px;
}