Merge branch 'release/0.18' into wdtk

1 files changed, 35 insertions, 0 deletions

diff --git a/app/assets/stylesheets/responsive/_utils.scss b/app/assets/stylesheets/responsive/_utils.scss
new file mode 100644
index 000000000..68884fa7a
--- /dev/null
+++ b/app/assets/stylesheets/responsive/_utils.scss
@@ -0,0 +1,35 @@
+$fix-mqs: false !default;
+
+@mixin respond-min($width) {
+    // If we're outputting for a fixed media query set...
+    @if $fix-mqs {
+        // ...and if we should apply these rules...
+        @if $fix-mqs >= $width {
+            // ...output the content the user gave us.
+            @content;
+        }
+    }
+    @else {
+        // Otherwise, output it using a regular media query
+        @media(min-width: $width) {
+            @content;
+        }
+    }
+}
+
+$ie8: false !default;
+$lte-ie7: false !default;
+
+@mixin ie8 {
+    // Only use this content if we're dealing with IE8
+    @if $ie8 {
+        @content;
+    }
+}
+
+@mixin lte-ie7 {
+    // Only use this content if we're dealing with oldest IE (<= 7)
+    @if $lte-ie7 {
+        @content;
+    }
+}