.loader {
    border: 16px solid #f3f3f3; /* Light grey */
    border-top: 16px solid #3498db; /* Blue */
    border-radius: 50%;
    width: 120px;
    height: 120px;
    animation: spin 2s linear infinite;
}

@keyframes spin {
    0% { transform: rotate(0deg); }
    100% { transform: rotate(360deg); }
}

.navGrey {
    color: LightGray;
}

.boxButtons {
    padding: 5px 10px 5px 10px;
    background-color: #FFF;
    z-index: 500;
}

main {
    width: 100%;
}

.sticky {
  position: -webkit-sticky;
  position: sticky;
  top: 0;
}

.statusNan {
    color: DimGrey;
}

.statusOn {
    color: MediumSeaGreen;
}

.statusIntermediate {
    color: blue;
}

.statusInbetween {
    color: khaki;
}

.statusError {
    color: orange;
}

.statusOff {
    color: Red;
}

.updateSuccess {
    color: Green;
}

.updateUnknown {
    color: DimGrey;
}

.updateFailed {
    color: Red;
}

.tooltip-inner {
  max-height: 100vh; /* Set your desired max height */
  max-width: 100vh; /* Set your desired max height */
  overflow-y: hidden;  /* we can't scroll in tooltips anyways, popovers would be an alternative but they are finicky with dynamic updating (=get closed all the time) */
  text-align: left;
}