/* Preserve original geometry, colors and hover styling. */
[data-mirror-disabled="true"] { cursor: not-allowed !important; }