/* Keep three source badges on one line without changing badge dimensions. */
.property-operation-meta > div:first-child:has(> div > span:nth-child(3)) {gap:2px!important;}
.property-operation-meta > div:first-child:has(> div > span:nth-child(3)) > span:first-child {font-size:10px!important;white-space:nowrap;}
.property-operation-meta > div:first-child:has(> div > span:nth-child(3)) > div {gap:2px!important;flex-shrink:0;}
.property-operation-meta > div:first-child:has(> div > span:nth-child(3)) > div > span {white-space:nowrap;}
.property-operation-meta > div:first-child:has(> div > span:nth-child(3)) > div > span > span:first-child {display:none;}