.boxed-output {
    background-color: #f8f9fa;  /* Light gray background */
    border: 1px solid #ccc;      /* Border like verbatimTextOutput */
    padding: 10px;               /* Space inside the box */
    font-family: monospace;      /* Monospace font */
    border-radius: 5px;          /* Rounded corners */
    display: grid;
    align-items: center;
}

#threshold_exceedance_prob {
    /*background-color: #ffa500;  /* Light gray background */
    /*padding: 20px;              /* Add padding */
    color: #3c8dbc;
}

.footer { 
    position: relative; 
    bottom: 10px; 
    width: 100%; 
    text-align: right; 
    color: #aaa; 
}
.footer a {
    color: #aaa !important;
    display: inline-block;  /* or "inline" */
    margin-left: 10px;      /* adds spacing between links */
}

/* Override the “yellow” background style for boxes */
.box.box-warning {
    background-color: #ffeccd !important;  /* Your custom company red */
    border-top-color: #d2d6de !important; 
    /* border-right-color: #00a65a !important; */
    /* border-bottom-color: #00a65a !important; */
    /* border-left-color: #00a65a !important; */
}