From 1f705c122dfe7b9ec0cd956c5188b907e6e8e4b8 Mon Sep 17 00:00:00 2001
From: hackademix <giorgio@maone.net>
Date: Mon, 28 Jan 2019 15:50:21 +0100
Subject: Mobile-friendly UI sizing in CSS.

---
 html/mobile.js | 1 +
 1 file changed, 1 insertion(+)

(limited to 'html/mobile.js')

diff --git a/html/mobile.js b/html/mobile.js
index ae80a63..f824046 100644
--- a/html/mobile.js
+++ b/html/mobile.js
@@ -1,5 +1,6 @@
 window.isMobile = !("windows" in browser);
 if (isMobile) {
+  document.documentElement.classList.add("mobile");
   let s = document.createElement("script");
   s.src = "/html/fastclick.js";
   document.head.appendChild(s);
-- 
cgit v1.2.3