.variable[data-v-412d4a85]{background:#f0f0f0;border-radius:3px;border:1px solid #ccc}.operator[data-v-412d4a85],.variable[data-v-412d4a85]{padding:2px 4px;margin:0 2px;-webkit-user-select:none;-moz-user-select:none;user-select:none}.operator[data-v-412d4a85]{background:#ffecb3;border-radius:3px;border:1px solid #ffd54f;font-weight:700}#editor[data-v-412d4a85]{border:1px solid #ccc;padding:10px;min-height:100px;margin:20px;font-family:monospace}.button-group[data-v-412d4a85]{margin:10px 20px}.button-group button[data-v-412d4a85]{margin-right:5px;padding:5px 10px}#formula[data-v-412d4a85]{margin:20px;font-family:monospace;padding:10px;background:#e8f5e9;border:1px solid #a5d6a7}