Using Twitter Bootstrap to produce html output