A jquery plugin for displaying texts encoded in TEI