From 2f8e8f6b0c9bb080fdba45c3da3da00d30adc65a Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 21 Jul 2025 22:49:51 +0200
Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025

---
 .../docs/js/ie10-viewport-bug-workaround.js   | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 js/dos/ext/vis/docs/js/ie10-viewport-bug-workaround.js

diff --git a/js/dos/ext/vis/docs/js/ie10-viewport-bug-workaround.js b/js/dos/ext/vis/docs/js/ie10-viewport-bug-workaround.js
new file mode 100644
index 0000000..7f53b61
--- /dev/null
+++ b/js/dos/ext/vis/docs/js/ie10-viewport-bug-workaround.js
@@ -0,0 +1,22 @@
+/*!
+ * IE10 viewport hack for Surface/desktop Windows 8 bug
+ * Copyright 2014 Twitter, Inc.
+ * Licensed under the Creative Commons Attribution 3.0 Unported License. For
+ * details, see http://creativecommons.org/licenses/by/3.0/.
+ */
+
+// See the Getting Started docs for more information:
+// http://getbootstrap.com/getting-started/#support-ie10-width
+
+(function () {
+  'use strict';
+  if (navigator.userAgent.match(/IEMobile\/10\.0/)) {
+    var msViewportStyle = document.createElement('style')
+    msViewportStyle.appendChild(
+      document.createTextNode(
+        '@-ms-viewport{width:auto!important}'
+      )
+    )
+    document.querySelector('head').appendChild(msViewportStyle)
+  }
+})();