/* Additions to the built stylesheet, kept apart so that a rebuild does not lose them. */
/* the brand in the header: the flags keep their width and the name wraps beside them (it ran over the flag on phones) */
header nav > a[href="#home"]{min-width:0;flex:0 1 auto}
header nav > a[href="#home"] > span:first-child{flex:none}
header nav > a[href="#home"] > span:last-child{min-width:0;line-height:1.2}
@media (max-width:400px){
  header nav{padding-left:12px;padding-right:12px}
  header nav > a[href="#home"]{gap:7px}
  header nav > a[href="#home"] > span:first-child{gap:4px}
  header nav > a[href="#home"] > span:first-child img{width:20px;height:14px}
  header nav > a[href="#home"] > span:last-child{font-size:11px;letter-spacing:0}
}
@media (max-width:340px){header nav > a[href="#home"] > span:first-child{display:none}}   /* the smallest phones: the name alone */