+
+ var n = 5001;
+
+ var doc_base = $('.htmlview .utwor', this.element);
+
+ /* mark themes */
+ $(".theme-ref").each(function() {
+ var id = $(this).attr('x-theme-class');
+
+ var end = $("span.theme-end[x-theme-class = " + id+"]");
+ var begin = $("span.theme-begin[x-theme-class = " + id+"]");
+
+ var h = $(this).outerHeight();
+
+ h = Math.max(h, end.offset().top - begin.offset().top);
+ $(this).css('height', h);
+ });