body {
    background-color: lightgrey;
}

body {
    color: black;
    margin-left: 20px;
    font-family: "Times New Roman", Times, serif;
}

button {
    border-width: 2px;
    border-style: outset;
    border-color: buttonface;
    border-right-color: #424242;
    border-bottom-color: #424242;
    background: silver;
    color: black;
    padding-left: 8px;
    padding-right: 8px;
    border-radius: 1px;
}

button:hover {
    border: 2px inset #fff;
    background: silver;
    color: #424242;
    box-shadow: -1px -1px #000;
}

button:focus {
    border: 2px inset #fff !important;
    background: silver;
    color: #424242;
    box-shadow: -1px -1px #000 !important;
    outline: 1px dotted;
}