resources/mediawiki.ui/mixins/utilities.less

   1 .box-sizing(@value) {
   2         -moz-box-sizing: @value;
   3         -webkit-box-sizing: @value;
   4         box-sizing: @value;
   5 }
   6
   7 .agora-flush-left() {
   8         float: left;
   9         margin-left: 0;
  10         padding-left: 0;
  11 }
  12
  13 .agora-flush-right() {
  14         float: right;
  15         margin-right: 0;
  16         padding-right: 0;
  17 }
  18
  19 .agora-center-block() {
  20         display: block;
  21         margin-left: auto;
  22         margin-right: auto;
  23 }