From 9112acfc9ad9741edb3c4b57c2ac3386367ed01e Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Mon, 7 Nov 2016 20:33:52 +0000
Subject: [PATCH] Android rotation fixes.

Android browser doesn't do max-device-width. And in fact it seems max-width
is to be preferred anyway.

Second, stock Android browser needs a bug workaround orientation setting
present to force recalculation.

Android Chrome still has problems.
---
 web/css/dottes.css | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/web/css/dottes.css b/web/css/dottes.css
index ce4414c..120d788 100644
--- a/web/css/dottes.css
+++ b/web/css/dottes.css
@@ -382,7 +382,7 @@ div.dottes-history-yes
     margin-top: 20px
 }
 
-@media only screen and (max-device-width: 480px) {
+@media only screen and (max-width: 480px) {
     div.dottes-tune-footer
     {
     }
@@ -466,3 +466,11 @@ div.dottes-history-yes
         text-align: center;
     }
 }
+
+/*
+ * Stock Android browser needs this to force reconsideration of max-width
+ * on an orientation change. Still doesn't help Android Chrome.
+ */
+@media screen and (orientation: landscape){
+  .doesnt-exist { background:red; }
+}