/* WooCommerce: restaurar formato de lista en la descripción corta */
.woocommerce-product-details__short-description ul {
  list-style: disc;
  margin: 0 0 .5em 1.25em;
  padding: 0;
}
.woocommerce-product-details__short-description ol {
  list-style: decimal;
  margin: 0 0 .5em 1.25em;
  padding: 0;
}
.woocommerce-product-details__short-description li {
  display: list-item;    /* evita que el tema los ponga inline */
  margin-bottom: .25em;
}
.woocommerce-product-details__short-description p {
  margin: 0 0 .5em;
}