Modified themes files for Twitter Bootstrap.