firefox border-box bug fix

lms/static/sass/_discussion.scss

@@ -61,7 +61,7 @@
   height: 240px;
   margin-top: 0;
   padding: 10px;
-  box-sizing: border-box;
+  @include box-sizing(border-box);
   border: 1px solid #aaa;
   border-radius: 3px 3px 0 0;
   background: #fff;
@@ -75,7 +75,7 @@
   width: 100%;
   min-height: 40px;
   padding: 25px 20px 10px 20px;
-  box-sizing: border-box;
+  @include box-sizing(border-box);
   border: 1px solid #aaa;
   border-top: none;
   border-radius: 0 0 3px 3px;
@@ -150,7 +150,7 @@ body.discussion {
       float: left;
       width: 32%;
       padding: 40px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
 
       label {
         font-size: 22px;
@@ -192,7 +192,7 @@ body.discussion {
         left: 0;
         z-index: 9999;
         width: 100%;
-        box-sizing: border-box;
+        @include box-sizing(border-box);
         background: #737373;
         border: 1px solid #333;
         box-shadow: 0 2px 50px rgba(0, 0, 0, .4);
@@ -242,7 +242,7 @@ body.discussion {
         width: 100%;
         height: 30px;
         padding: 0 15px;
-        box-sizing: border-box;
+        @include box-sizing(border-box);
         border-radius: 30px;
         border: 1px solid #333;
         box-shadow: 0 1px 3px rgba(0, 0, 0, .25) inset;
@@ -258,7 +258,7 @@ body.discussion {
       float: left;
       width: 68%;
       padding: 40px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
     }
 
     .wmd-button {
@@ -306,7 +306,7 @@ body.discussion {
       width: 100%;
       height: 40px;
       padding: 0 10px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
       border-radius: 3px;
       border: 1px solid #aaa;
       font-size: 16px;
@@ -352,7 +352,7 @@ body.discussion {
       height: 200px;
       z-index: 1;
       padding: 10px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
       border: 1px solid #333;
       border-radius: 3px 3px 0 0;
       background: #fff;
@@ -364,7 +364,7 @@ body.discussion {
 
     .tagsinput {
       padding: 10px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
       border: 1px solid #333;
       border-radius: 3px;
       background: #fff;
@@ -385,7 +385,7 @@ body.discussion {
       //height: 50px;
       margin-top: -1px;
       padding: 25px 20px 10px 20px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
       border: 1px solid #333;
       border-radius: 0 0 3px 3px;
       background: #e6e6e6;
@@ -407,7 +407,7 @@ body.discussion {
       width: 100%;
       height: 40px;
       padding: 0 10px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
       border-radius: 3px;
       border: 1px solid #333;
       font-size: 16px;
@@ -554,7 +554,7 @@ body.discussion {
     font-family: $sans-serif;
     padding: 25px 20px 10px 20px;
     margin-bottom: 5px;
-    box-sizing: border-box;
+    @include box-sizing(border-box);
     border: 1px solid #c8c8c8;
     border-top-width: 0;
     @include border-radius(0 0 3px 3px);
@@ -916,7 +916,7 @@ body.discussion {
       width: 100%;
       height: 30px;
       padding: 0 15px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
       border-radius: 30px;
       border: 1px solid #333;
       box-shadow: 0 1px 3px rgba(0, 0, 0, .25) inset;
@@ -1900,7 +1900,7 @@ body.discussion {
         height: 200px;
         z-index: 1;
         padding: 10px;
-        box-sizing: border-box;
+        @include box-sizing(border-box);
         border: 1px solid #333;
         border-radius: 3px 3px 0 0;
         background: #fff;
@@ -1917,7 +1917,7 @@ body.discussion {
         //height: 50px;
         margin-top: -1px;
         padding: 25px 20px 10px 20px;
-        box-sizing: border-box;
+        @include box-sizing(border-box);
         border: 1px solid #333;
         border-radius: 0 0 3px 3px;
         background: #e6e6e6;
@@ -1939,7 +1939,7 @@ body.discussion {
         width: 100%;
         height: 40px;
         padding: 0 10px;
-        box-sizing: border-box;
+        @include box-sizing(border-box);
         border-radius: 3px;
         border: 1px solid #333;
         font-size: 16px;
@@ -1954,7 +1954,7 @@ body.discussion {
 
       .tagsinput {
         padding: 10px;
-        box-sizing: border-box;
+        @include box-sizing(border-box);
         border: 1px solid #333;
         border-radius: 3px;
         background: #fff;
@@ -2106,7 +2106,7 @@ body.discussion {
       font-family: $sans-serif;
       padding: 25px 20px 10px 20px;
       margin-bottom: 5px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
       border: 1px solid #c8c8c8;
       border-top-width: 0;
       @include border-radius(0 0 3px 3px);
@@ -2279,7 +2279,7 @@ body.discussion {
       width: 100%;
       height: 40px;
       padding: 0 10px;
-      box-sizing: border-box;
+      @include box-sizing(border-box);
       border-radius: 3px;
       border: 1px solid #aaa;
       font-size: 16px;