.banner {
  background-color: #e8f4fd;
  /*background-color: #2980b9;*/
  border-left: 4px solid #2980b9;
  color: #1a1a1a;
  padding: 12px 20px;
  font-size: 0.95rem;
  margin-bottom: 1rem;
    position: sticky;
    top: 0px;
    z-index: 999;
}
.banner-header {
  font-weight: bold;
  font-size: 1.1rem;
}
.banner-text {
  padding-left: .5rem;
  padding-top: .5rem;
  /*font-style: italic;*/
  font-size: 1rem
}