/* You can add global styles to this file, and also import other style files */

html, body { height: 100%; }
body { margin: 0; font-family: Roboto, "Helvetica Neue", sans-serif; }

.small { font-size: 0.9em !important; }
.muted { color: darkgray; }

table {
    width: 100%;
}

.warning {
    background-color: darkorange;
}

.text-monospace {
    font-family: monospace;
}

a, a:not([href]) {
    cursor: pointer; 
    -webkit-user-select: none; 
    -moz-user-select: none; 
    user-select: none;
    text-decoration: underline;
    text-underline-offset: 3px;
    color: #336699;
}

table {
    table-layout: fixed !important;
}

tr {
    height: auto !important;
}

th.mat-sort-header-sorted { color: black !important; }

th, td {
    white-space: nowrap !important; 
    overflow: hidden !important; 
    text-overflow: ellipsis !important;
    font-size: 0.9em !important;
    padding-top: 0.5em !important;
    padding-bottom: 0.5em !important;
}

.badge-label {
    padding-top: 0.3em;
    padding-bottom: 0.3em;
    padding-left: 0.5em;
    padding-right: 0.5em;
    border-radius: 0.7em;
    font-size: 0.9em;
    color: #fff;
    text-align: center;
}

.badge-success {
    background-color:darkgreen;
}

.badge-failure {
    background-color:red;
}

.badge-warning {
    background-color:darkorange;
}

.badge-info {
    background-color: cornflowerblue
}