A simple hack to use Twitter Bootstrap with Trac