disable resizable property of textarea elements and make them readonly

They should not be modified.
The only operation which should be possible is to copy the code of an
example and past it into another buffer.