/*
Not strictly necessary because remove-source-button.js
will remove the button, but we want to avoid any possibility of
the button being seen in the first place for non-privileged users.
*/
.ck-source-editing-button {
    display: none !important;
}