disabling Theme editing

[Leena Borle]

Hi,
  It's there in the user guide that theme editing can be disabled. But how
do I do it? I want all the users to share the same theme and remove the
tab-"design" from the roller.

Thanks
Leena