I'm generally against CSS classes that infer styles (e.g., `pull-right`, or for example applying class `red` to something to make it's font "red") -- especially in this context where I think we want a stable template that can be easily restyled. `pull-right` only makes sense until someone decides they want it on the left, then they're in a world of hurt.

IMO the ideal solution would allow us to say that `.icon-caret-down` includes .pull-right directives in the stylesheet rather than polluting the template, but AFAIK we don't subscribe to something like LESS that can make that possible.

In that case, I would lean towards keeping it in the stylesheet and accept the fact that we're not using a selector that bootstrap provided for us.