.derivation[data-v-f3cc76e3]{border-bottom:1px solid var(--color-edge);padding:.85rem 0}.derivation[data-v-f3cc76e3]:last-child{border-bottom:none;padding-bottom:0}