/* Keep the added tools link usable on narrow screens across this site. */
@media(max-width:560px){.top .logo{height:34px}.top .nav{gap:10px;margin-inline-end:10px}.top .nav a{font-size:13px}.top .btn{font-size:12px;padding:5px 10px}}
@media(max-width:380px){.top .logo{height:28px}.top .nav{gap:8px}.top .btn{padding:4px 7px}}