.ws-server-preferences {margin:12px 0 20px;padding:14px;border:1px solid #cce4f4;border-radius:12px;background:#f5fbff;color:#315675;}
.ws-server-preferences>div {display:flex;gap:10px;flex-wrap:wrap;}
.ws-server-preferences button {border:1px solid #93cdea;border-radius:8px;padding:9px 14px;background:white;color:#007bb7;cursor:pointer;}
.ws-server-preferences button:hover:not(:disabled),.ws-server-preferences button:focus-visible {background:#008dce;color:white;}
.ws-server-preferences button:disabled {opacity:.5;cursor:default;}
.ws-server-preferences p {margin:10px 0 5px;font-size:13px;}
.ws-server-preferences small {color:#69829b;}