From e0dc837a14a466dd4fb58a0a1e6e72b5c400f563 Mon Sep 17 00:00:00 2001
From: Dimitri van Heesch <dimitri@stack.nl>
Date: Mon, 28 Mar 2016 20:07:44 +0200
Subject: Improve output on mobile devices

---
 templates/html/header.html | 1 +
 templates/html/resize.js   | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/templates/html/header.html b/templates/html/header.html
index 9f95d66..338d0be 100644
--- a/templates/html/header.html
+++ b/templates/html/header.html
@@ -4,6 +4,7 @@
 <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
 <meta http-equiv="X-UA-Compatible" content="IE=9"/>
 <meta name="generator" content="Doxygen $doxygenversion"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
 <!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME-->
 <!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME-->
 <link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
diff --git a/templates/html/resize.js b/templates/html/resize.js
index 2b86c36..76c1a6b 100644
--- a/templates/html/resize.js
+++ b/templates/html/resize.js
@@ -78,8 +78,8 @@ function initResizable()
   $("#splitbar").bind("dragstart", _preventDefault).bind("selectstart", _preventDefault);
   $(document).bind('touchmove',function(e){
     var device = navigator.userAgent.toLowerCase();
-    var ios = device.match(/(iphone|ipod|ipad)/);
-    if (ios) {
+    var ios_or_android = device.match(/(iphone|ipod|ipad|android)/);
+    if (ios_or_android) {
       try {
         var target = e.target;
         while (target) {
-- 
cgit v0.12