/* Reserved for WooCommerce-specific extensions; the base design is in style.css. */