/* 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; }

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, 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;
}

.muted { color: darkgray; }