padding: 1ex;
background: #eee;
border: solid thin black;
- overflow-y: auto;
+ overflow: auto;
}
+ pre.logdump { max-height: 120ex; }
+
.hide { display: none; }
a.expand-button {
float: right;
function do_hide(d, b) {
add_elt_class(d, 'hide');
b.textContent = '[show]';
+ if (LAST_EXPAND !== null && d === LAST_EXPAND[0])
+ LAST_EXPAND = null;
}
function expand_log(tag) {
- if (LAST_EXPAND !== null)
- do_hide(LAST_EXPAND[0], LAST_EXPAND[1]);
+ if (LAST_EXPAND !== null) do_hide(LAST_EXPAND[0], LAST_EXPAND[1]);
var d = elt('logdump-' + tag);
var b = elt('expand-' + tag);
LAST_EXPAND = [d, b];