code: function(codeLines, h, lineNo){
  			while ( (codeLines.height() - h ) <= 0 ){
  				if ( lineNo == opts.selectedLine )
  					codeLines.append("<div class='lineno lineselect'>" + lineNo + "</div>");
  				else
  					codeLines.append("<div class='lineno'>" + lineNo + "</div>");
  				
  				lineNo++;
  			}
  			return lineNo;
  		}
docs: /*
  Helper function to make sure the line numbers are always
  kept up to the current system