.woocommerce-Price-currencySymbol {
	margin-right: 0.15em;
}

/* Shop/category grid card — price and star rating read too small next to
   the product title at the card's normal size. */
.card-product_info .price-wrap .price-new {
	font-size: 20px;
}

.card-product_info .price-wrap .price-old {
	font-size: 15px;
}

.card-product_info .star-wrap .icon {
	width: 15px;
	height: 15px;
}