diff options
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%; |