div{
    border: 2px solid black;
    padding: 5px;
}

pre{
    border: 2px solid black;
    padding: 3px;
}

button{
    font-size: large;
}