div.logobar {
  padding: 0;
  margin: 0;
  background: #c86;
}
div.logobar .container {
  margin: 0;
  padding: 165px 10px 5px 10px;
  width: auto;
  background:
    url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.svg) no-repeat;
  background:
    url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.svg) no-repeat,
    url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.png) no-repeat,
    url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner-background.png) repeat-x 1385px 0;
  background:
    url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.svg) no-repeat,
    url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.png) no-repeat,
    url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner-background.png) repeat-x 1385px 0,
    linear-gradient(to bottom, #c86 0 159px, #337ab7 159px 100%);
  transition: background-position 0.5s ease;
}
div.logobar .container .navbar-brand {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 0;
  margin: 0;
  padding: 160px 0 0 0;
  overflow: hidden;
}
.navbar-brand {
  display: inline;
  float: none;
  margin: 0 1em 0 0;
  padding: 0;
}
@media (max-width: 1350px) {
  div.logobar .container {
    background:
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.svg) no-repeat;
    background:
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.svg) no-repeat,
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.png) no-repeat,
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner-background.png) repeat-x 985px 0;
    background:
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.svg) no-repeat -400px 0,
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.png) no-repeat -400px 0,
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner-background.png) repeat-x 985px 0,
      linear-gradient(to bottom, #c86 0 159px, #337ab7 159px 100%);
  }
}
@media (max-width: 925px) {
  div.logobar .container {
    background:
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-banner.svg) no-repeat;
    background:
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-banner.svg) no-repeat,
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.png) no-repeat,
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner-background.png) repeat-x 985px 0;
    background:
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-banner.svg) no-repeat -400px 0,
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.png) no-repeat -400px 0,
      url(https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner-background.png) repeat-x 985px 0,
      linear-gradient(to bottom, #c86 0 159px, #337ab7 159px 100%);
  }
}
.place {
  display: inline;
  color: white;
}
.place::after {
  content: ", ";
}
.place2 {
  display: inline;
  color: white;
}

.logobar a {
  color: white;
}

.navbar {
  border-top: none !important;
  border-radius: 0px !important;
}

#navigationbar > ul > li:last-child > ul {
  width: 180px;
}

.carousel-inner .item .fill {
    box-shadow:inset 0 0 20px 0 #0008;
}