div#fixed-banner {
  position: fixed;
  top: 0;
  left: 0;
  height: 10%;
  width: 100%;
  background-color: white;
  border-top: 0.8rem solid grey;
  border-bottom: 0.8rem solid grey;
  z-index: 1;
}
div.banner.container {
  flex-flow: row nowrap;
  width: 100%;
  height: 100%; 
}
div.banner.element {
  height: 100%;
}
div.banner.element.left {
  width: 10%;
  min-width: 5rem;
  flex-grow: 0;
  flex-shrink: 0;
}
div.banner.element.right {
  flex-grow: 1;
  flex-shrink: 1;
}
div.left-banner.container {
  flex-flow: row nowrap;
  width: 100%;
  height: 100%;
}
img.left-banner.element {
  max-height: 80%;
  max-width: 80%;
  margin: 0 10px;
}
div.right-banner.container {
  flex-flow: row-reverse nowrap;
  width: 100%;
  height: 100%;
}
div.right-banner.element {
  width: 100%;
}