.navbar {
    margin: auto;
    width: 50%;
    justify-content: center;
    /* navigation bar */
    list-style-type: none;

    background-color: rgb(19, 62, 64);
  }

.center {
    margin: auto;
    vertical-align: middle;
    /* class for centering bleeeeeh */
  }

.logo{
    width: 25%;
    height: 25%;
    /* size of logo in its div */
  }

.navbar-nav{
    padding-left:10%;
    padding-right:10%;
    /* navigation bad padding;space between elements */
  }

  .body{
    background-color: rgb(22, 20, 25);
    /* background color of the whole page */
  }

.carousel{
  margin: auto;

}

* {box-sizing:border-box}

/* Slideshow container */
.slideshow-container {
  max-width: 1000px;
  position: relative;
  margin: auto;

  
}



/* Hide the images by default */
.mySlides {
display: none;
}

/* Next & previous buttons */
.prev, .next {
  cursor: pointer;
  position: absolute;
  top: 50%;
  width: auto;
  margin-top: -22px;
  padding: 16px;
  color: white;
  font-weight: bold;
  font-size: 18px;
  transition: 0.6s ease;
  border-radius: 0 3px 3px 0;
  user-select: none;
}

/* Position the "next button" to the right */
.next {
  right: 0;
  border-radius: 3px 0 0 3px;
}

/* On hover, add a black background color with a little bit see-through */
.prev:hover, .next:hover {
  background-color: rgba(0, 0, 0, 0.8);
}

/* Caption text */
.text {
  color: #f2f2f2;
  font-size: 15px;
  padding: 8px 12px; 
  position: absolute;
  bottom: 8px;
  width: 100%;
  text-align: center;
}

/* Number text (1/3 etc) */
.numbertext {
  color: #f2f2f2;
  font-size: 12px;
  padding: 8px 12px;
  position: absolute;
  top: 0;
}


.active, .dot:hover {
  background-color: #717171;
}



/* Fading animation */
.fade {
  animation-name: fade;
  animation-duration: 1.5s;
  animation-fill-mode:forwards
}

@keyframes fade {
  from {opacity: .4}
  to {opacity: 1}
}

.border{
  width: 5px;
}

.nav-link{
  color: rgb(128,128,128);
}


.title{
  color: rgb(128,128,128);
}



