diff options
| author | hackademix <giorgio@maone.net> | 2019-02-22 00:41:05 +0100 |
|---|---|---|
| committer | hackademix <giorgio@maone.net> | 2019-02-22 00:41:05 +0100 |
| commit | 14bed707e5c9891d4502e276a757bbef014e6b4e (patch) | |
| tree | 150bb2f74321dd7892571b1729003cb2fac93de3 /html/display_panel/content/panel-styles.css | |
| parent | 85e1e6c19cc8dc847417d25b0f720788ad31653c (diff) | |
Deduplicate inline scripts and provide widgets to show them in main UI.
Diffstat (limited to 'html/display_panel/content/panel-styles.css')
| -rw-r--r-- | html/display_panel/content/panel-styles.css | 14 |
1 files changed, 14 insertions, 0 deletions
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%; |