small improvements for twitter bootstrap theme