make buttons, etc. bigger when on a touch-enabled device (Mozilla-specific right...

diff --git a/style/lantea.css b/style/lantea.css
index b6b596d23167e56616c260194bfe8013a0e70a73..0fbaddb369a1baad329dacb2ec5fa95d69b1b132 100644 (file)
--- a/style/lantea.css
+++ b/style/lantea.css
@@ -19,6 +19,15 @@ h1 {
   z-index: 5;
 }
 
+#overlayArea:-moz-system-metric(touch-enabled) {
+  font-size: 3mozmm;
+}
+
+#overlayArea input[type="button"]:-moz-system-metric(touch-enabled),
+#overlayArea select:-moz-system-metric(touch-enabled) {
+  font-size: 2.5mozmm;
+}
+
 #zoomLevel {
   background-color: rgba(255, 255, 255, .8);
   border-radius: 3px;