.filelist-header #rich-workspace {
  display:none;
}