/* Custom styles for Git Deployment Manager */

body {
    background-color: #f8f9fa;
}

.card {
    box-shadow: 0 0.125rem 0.25rem rgba(0, 0, 0, 0.075);
    border: 1px solid rgba(0, 0, 0, 0.125);
}

pre {
    white-space: pre-wrap;
    word-wrap: break-word;
}