From 16cdbbe1cb7402ed795923128a4bc7bfb4415f1e Mon Sep 17 00:00:00 2001
From: hackademix
Date: Mon, 3 Sep 2018 14:04:00 +0200
Subject: Full-page placeholders for embedding documents.

---
 src/content/PlaceHolder.js |  5 +++++
 src/content/content.css    | 11 +++++++++++
 2 files changed, 16 insertions(+)

(limited to 'src')

diff --git a/src/content/PlaceHolder.js b/src/content/PlaceHolder.js
index 09f6767..f32c812 100644
--- a/src/content/PlaceHolder.js
+++ b/src/content/PlaceHolder.js
@@ -107,6 +107,11 @@ var PlaceHolder = (() => {
       replacement.className = "__NoScript_PlaceHolder__";
       cloneStyle(element, replacement);
       replacement.style.backgroundImage = `url(${ICON_URL})`;
+
+      if (ns.embeddingDocument) {
+        replacement.classList.add("document");
+      }
+
       replacement.href = url;
       replacement.title = `${TYPE}@${url}`;
 
diff --git a/src/content/content.css b/src/content/content.css
index 596da6d..ddfe1b7 100644
--- a/src/content/content.css
+++ b/src/content/content.css
@@ -70,3 +70,14 @@ a.__NoScript_PlaceHolder__ > span {
   overflow-wrap: break-word;
   word-break: break-all;
 }
+
+a.__NoScript_PlaceHolder__.document {
+  position: fixed !important;
+  top: 0 !important;
+  bottom: 0 !important;
+  left: 0 !important;
+  right: 0 !important;
+  width: 100% !important;
+  height: 100% !important;
+  margin: 0 !important;
+}
-- 
cgit v1.2.3