/* The page's text and pictures cannot be selected, copied, dragged out or saved (the same fence as the app's
   learner area, see src/components/protected-area.tsx). Form fields, the console's output and code stay usable. */
body {
  -webkit-user-select: none;
  user-select: none;
  -webkit-touch-callout: none;
}
pre, pre *, code, input, textarea, select, [contenteditable="true"], [data-allow-copy], [data-allow-copy] * {
  -webkit-user-select: text;
  user-select: text;
  -webkit-touch-callout: default;
}
img, video {
  -webkit-user-drag: none;
  -webkit-touch-callout: none;
}