#mini-nav {
    height: 30px;
    margin-bottom: 25px;
    margin-right: 40px;
    /*background: #f5f5f5;*/
  }
  #mini-nav > div {
    line-height: 30px;
    direction: ltr;
  }
  
  #mini-nav #lang-switcher {
    cursor: default;
    height: 30px;
    padding: 0px 10px;
    border: 0px;
    background-color: transparent;
    float: right;
  }
  
  #mini-nav #lang-switcher-list {
    overflow-y: scroll;
    max-height: 90vh;
    list-style-type: none;
  
  }
  #lang-switcher-list > li::marker {
      content: "";
  }
  
  #mini-nav #lang-switcher:hover {
    background-color: #ddd;
  }
  .flag {height: 1em;}