Created on: Apr 24, 2012 Author: mholmes This stylesheet is designed to post-process the TEI Guidelines HTML version in such a way that all id attributes on elements are provided with a tei_ prefix, and all href attributes linking to them are similarly tweaked to keep all the links working. This is worth doing because we have encountered difficulties with AdBlock Plus filters which have hidden elements arbitrarily on the main Guidelines site based on their ids; we believe that the tei_ prefix will make this less likely, and if it does happen, we will find it easier to convince the filter list maintainers to whitelist tei_ prefixed ids.