/* UI labels are not document text. Keep selection inside actual editors. */
body {
  -webkit-user-select: none;
  user-select: none;
}
input, textarea, [contenteditable]:not([contenteditable="false"]),
[contenteditable]:not([contenteditable="false"]) *, math-field,
[data-selectable], [data-selectable] * {
  -webkit-user-select: text;
  user-select: text;
}