#map {
    height: 100vh;
    width: 100vw;
    padding-left: 15px;
    padding-right: 15px;
}

body {
    background-color: black;
}






.custom-pin {
    /* Adding a drop shadow to those custom pins to make sure they can be visible (css documentation helps for formatting) */
    filter: drop-shadow(0px 3px 3px rgba(0, 0, 0, 0.3));
} /* Animation for easing and outing of the parking area */
.parking_7 {
    opacity: 0;
    transition: opacity 0.3s ease-in-out;
}
.parking_7.active {
    opacity: 1;
    border-radius: 10;
}
.campus_mask { /* Added a blur and drop shadow because the lines felt too strict */
    filter: blur(3px) drop-shadow(0px 6px 6px rgba(0, 0, 0, 0.7));
}
.user-pin {
    filter: drop-shadow(0px 8px 8px rgba(0, 196, 239, 0.6));
}