theme.js in cpee-1.3.215

- old
+ new

@@ -2,9 +2,10 @@
   var self = this;
 
   this.adaptor = adaptor;
   this.elements = {};
   this.events = {};
+  this.compact = true;
 
   this.noarrow = ['alternative', 'otherwise'];
   this.source = function(rng) {
     $('#relaxngworker').empty();
     var rngw = new RelaxNGui(rng,$('#relaxngworker'),self.adaptor.description.context_eval);