/* html {
  height: 100%;
  margin: 0;
} */

body {
  font-family: sans-serif;
  /* animated shifting background with color gradient */
  background: linear-gradient(-30deg, rgb(132, 132, 232), rgb(131, 131, 232));
  background-size: 400% 400%;
  animation: gradient 15s ease infinite;
  background-repeat: no-repeat;
  background-attachment: fixed;
  
  height: 125hv;
  margin: 0; /* the body did not have margin zero by default*/
  margin-top: 80px; /* a bit more than the navigation bar height */
  margin-bottom: 80px;
  padding: 0px;
}

header {
  background-color: rgba(0, 0, 0, 0.5);
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  height: 60px;
  margin: 0;
  display: inline-flex;
  justify-content: space-between;
  box-shadow: 0 0 20px 0 black;
}

/* the asterisk '*' means all elemenents inside header */
header * {
  color: white;

  display: inline-flex;
  padding: 0px;
  align-items: center;
}

header li {
  margin-left: 20px;
  margin-right: 20px;
}

header li a {
  text-decoration: none;
}

nav {
  float: right;
  height: 60px;
}

.name_in_nav {
  margin-left: 20px;
}

main {
  color: white;
}

/* carousel box */
.carousel_container {
  margin: 0px;
  padding: 0px;
  width: 100%;
  height: 120vh;
}

ul.carousel {
  width: 100%;
  height: 50%;
  padding: 0;
  margin-top: 30px;
  display: flex;
  gap: 30px;
  overflow-x: scroll;
  /* overflow-y: hidden; */
  scroll-snap-type: x mandatory;
  scroll-behavior: smooth;
}

ul.carousel li {
  list-style-type: none;
}

.carousel_page {
  width: 400px;
  height: 98%; /* less than 100% to avoid annoying vertical scrollbar*/
  list-style-type: none;
  background-color: #eeeeee;
  /* border: 0px solid #000000; */
  /* padding: 20px; */
  flex: 0 0 auto;
}

ul.carousel img {
  width: 100%;
  height: 100%;
  object-fit: cover;
}

@keyframes gradient {
  0% {
    background-position: 0% 50%;
  }
  50% {
    background-position: 100% 50%;
  }
  100% {
    background-position: 0% 50%;
  }
}