/* Interface text is not selectable. Editing and explicitly enabled copying stay usable. */
html,body,body *{-webkit-user-select:none!important;user-select:none!important}
input,textarea,[contenteditable=""],[contenteditable="true"],[contenteditable="plaintext-only"],[contenteditable="true"] *,[contenteditable="plaintext-only"] *,[data-allow-text-selection],[data-allow-text-selection] *{-webkit-user-select:text!important;user-select:text!important}