#panel-error {
    margin-top: 10px;
    margin-bottom: 0;
}

#error-details {
    font-family: Consolas, 'Courier New', Courier, Monospace;
    font-size: 16px;
}

#error-number {
    font-weight: bold;
}