pre {
    background-color: #f5f5f5; /* Light grey background */
    border: 1px solid #ccc; /* Light grey border */
    border-radius: 4px; /* Rounded corners */
    padding: 16px; /* Nice padding */
    overflow: auto; /* Ensure long content is scrollable */
    font-family: monospace; /* Monospace font for code */
}

.error-padding {
    padding: 8px;
}

.attribute-pre {
    margin-top: 16px;
}

.margin-top {
    margin-top: 16px;
}