Trac plugin theme with bootstrap 3.