div[data-v-6c10969d]{border:solid black 1px;padding:10px;max-width:250px;margin-top:20px}pre[data-v-6c10969d]{background-color:#90ee90;font-size:large}