.example[data-v-05be3b40]{font-size:smaller;font-style:italic}.highlight[data-v-05be3b40]{background-color:#fbffc4}