From 14bed707e5c9891d4502e276a757bbef014e6b4e Mon Sep 17 00:00:00 2001
From: hackademix <giorgio@maone.net>
Date: Fri, 22 Feb 2019 00:41:05 +0100
Subject: Deduplicate inline scripts and provide widgets to show them in main
 UI.

---
 html/display_panel/content/panel-styles.css | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'html/display_panel/content/panel-styles.css')

diff --git a/html/display_panel/content/panel-styles.css b/html/display_panel/content/panel-styles.css
index d5c3528..1bacc01 100644
--- a/html/display_panel/content/panel-styles.css
+++ b/html/display_panel/content/panel-styles.css
@@ -109,6 +109,20 @@ button:disabled {
   color: #888 !important;
 }
 
+button.toggle-source {
+  display: none;
+}
+pre.source {
+  display: none;
+  background: white;
+  border: 1px solid #444;
+  padding: .5em;
+  overflow: auto;
+  max-height: 8em;
+  white-space: pre-wrap;
+}
+pre.source.visible { display: block }
+
 span.accepted, span.blocked {
     color:#008e00;
     font-size:145%;
-- 
cgit v1.2.3