1 files changed, 22 insertions, 0 deletions
diff --git a/html/display_panel/content/panel-styles.css b/html/display_panel/content/panel-styles.css
index d5c3528..502323f 100644
--- a/html/display_panel/content/panel-styles.css
+++ b/html/display_panel/content/panel-styles.css
@@ -109,6 +109,28 @@ button:disabled {
   color: #888 !important;
 }
 
+button.toggle-source {
+  color: #004;
+  margin-right: .5em;
+  width: 4em;
+  overflow: hide;
+}
+
+pre.source {
+  display: none;
+  background: white;
+  border: 1px solid #444;
+  padding: .5em;
+  overflow: auto;
+  max-height: 8em;
+  white-space: pre-wrap;
+}
+
+button.hide { display: none  }
+.visible > button.show { display: none !important}
+.visible > pre.source { display: block }
+.visible > button.hide { display: initial }
+
 span.accepted, span.blocked {
     color:#008e00;
     font-size:145%;