diff options
Diffstat (limited to 'html/display_panel/content/panel-styles.css')
-rw-r--r-- | html/display_panel/content/panel-styles.css | 22 |
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%; |