/* Ajuste del campo de búsqueda en la lista de tickets */
.w-full.border.rounded.p-2 {
  width: 80%;
}

.border.rounded.p-3 {
  width: 20rem;
}