body {
    color: black;
    /* background-color: black; */
}

.bigFont {
    font-size: 15px;
    font-weight: 700;
    padding: 0px;
}

.half {
    width: 50%;
}

.margin {
    margin: 10px;
}

.padding {
    padding: 5px;
}

.searchBox {
    position: -webkit-sticky; /* Safari */
    position: sticky;
    top: 0;
    background-color: white;
    z-index: 5;
}
/* Style buttons */
.btn {
    background-color: DodgerBlue; /* Blue background */
    border: none; /* Remove borders */
    color: white; /* White text */
    padding: 12px 16px; /* Some padding */
    font-size: 16px; /* Set a font size */
    cursor: pointer; /* Mouse pointer on hover */
}

    /* Darker background on mouse-over */
    .btn:hover {
        background-color: gray;
    }

/* Style buttons */
.btn2 {
    background-color: gray; /* Blue background */
    border: none; /* Remove borders */
    color: white; /* White text */
    padding: 12px 16px; /* Some padding */
    font-size: 16px; /* Set a font size */
    cursor: pointer; /* Mouse pointer on hover */
    margin-right: 20px;
}

    /* Darker background on mouse-over */
    .btn2:hover {
        background-color: DodgerBlue;
    }

.process {
    background-color: #342ead;
}

.sensor {
    background-color: #ea6227;
}

.constant {
    background-color: #b9ebcc;
    color: black;
}

.AVGtypesensor {
    background-color: #f2a51a;
}

.oneSet {
    margin-bottom: 20px;
    border-bottom: 2px solid black;
}