# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1478550832 0
# Node ID 1fc8d4867c88f5a01476d93993bea15dc15710ea
# Parent  7a64aeaaa29451eadb46294f55e7988ef9e3a2d4
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.

diff -r 7a64aeaaa294 -r 1fc8d4867c88 web/css/dottes.css
--- a/web/css/dottes.css	Sun Nov 06 22:21:09 2016 +0000
+++ b/web/css/dottes.css	Mon Nov 07 20:33:52 2016 +0000
@@ -382,7 +382,7 @@
     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 @@
         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; }
+}