//
// Temporary RTL style to fix bugs rapidly. 
// They will move to some place more appropriate later.
// --------------------------------------------------

.pull-right {
  &.flip {
    float: left !important;
  }
}
.pull-left {
  &.flip {
    float: right !important;
  }
}