ios margins

pizzapanther · Dec 8, 2023 · 7217ec9 · 7217ec9
1 parent ab11fc2
commit 7217ec9
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/layouts/partials/head/custom.html b/layouts/partials/head/custom.html
@@ -4,6 +4,7 @@
     const script = document.createElement('script');
     script.src = '/app.js';
     document.head.appendChild(script);
+    document.querySelector('.main-container').classList.add(Capacitor.getPlatform());
   }
 }
 </script>

diff --git a/static/overrides.css b/static/overrides.css
@@ -55,10 +55,17 @@ p.j {
 
 @media (max-width: 440px) {
   .main-container {
-    padding: 12px 3px;
+    padding: 10px 3px;
   }
 
   .article-content {
     padding: 0 7px;
   }
 }
+
+.main-container.ios {
+  margin-top: env(safe-area-inset-top) !important;
+  margin-left: env(safe-area-inset-left) !important;
+  margin-right: env(safe-area-inset-right) !important;
+  margin-bottom: env(safe-area-inset-bottom) !important;
+}