From: Chris Rebert <code@chrisrebert.com>
Date: Wed, 30 Sep 2015 19:35:57 +0000 (-0700)
Subject: Add CSS portion of IE10 viewport bug workaround to docs
X-Git-Tag: v3.3.6~46^2~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=05b1c625be8137a22bdf9626d9540d1844624fbf;p=thirdparty%2Fbootstrap.git

Add CSS portion of IE10 viewport bug workaround to docs

Refs #17337
---

diff --git a/Gruntfile.js b/Gruntfile.js
index 713feba3e1..950af85791 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -244,6 +244,7 @@ module.exports = function (grunt) {
       },
       docs: {
         src: [
+          'docs/assets/css/ie10-viewport-bug-workaround.css',
           'docs/assets/css/src/pygments-manni.css',
           'docs/assets/css/src/docs.css'
         ],
diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index 176f45fc01..6b53f00d87 100644
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -32,6 +32,7 @@
 {% if site.github %}
 <link href="../assets/css/docs.min.css" rel="stylesheet">
 {% else %}
+<link href="../assets/css/ie10-viewport-bug-workaround.css" rel="stylesheet">
 <link href="../assets/css/src/pygments-manni.css" rel="stylesheet">
 <link href="../assets/css/src/docs.css" rel="stylesheet">
 {% endif %}
diff --git a/docs/assets/css/ie10-viewport-bug-workaround.css b/docs/assets/css/ie10-viewport-bug-workaround.css
new file mode 100644
index 0000000000..8b3803b48d
--- /dev/null
+++ b/docs/assets/css/ie10-viewport-bug-workaround.css
@@ -0,0 +1,15 @@
+/*!
+ * IE10 viewport hack for Surface/desktop Windows 8 bug
+ * Copyright 2014-2015 Twitter, Inc.
+ * Licensed under MIT (https://github.com/twbs/bootstrap/blob/master/LICENSE)
+ */
+
+/*
+ * See the Getting Started docs for more information:
+ * http://getbootstrap.com/getting-started/#support-ie10-width
+ */
+@-webkit-viewport { width: device-width; }
+@-moz-viewport    { width: device-width; }
+@-ms-viewport     { width: device-width; }
+@-o-viewport      { width: device-width; }
+@viewport         { width: device-width; }