div.banner {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: fixed;
  top: 140px;
  left: 5px;
  width: 8.5em;
  right: auto;
}


div.bannerfestmenu {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;

  top: 140px;
  left: 5px;
  width: 8.5em;
  right: auto;
}