}
function rm_elt_class(elt, cls) {
elt.className = elt.className.replace(
}
function rm_elt_class(elt, cls) {
elt.className = elt.className.replace(
function toggle_expand(ev, tag) {
var d = elt('logdump-' + tag);
var b = elt('expand-' + tag);
function toggle_expand(ev, tag) {
var d = elt('logdump-' + tag);
var b = elt('expand-' + tag);
function do_hide(d, b) {
add_elt_class(d, 'hide');
b.textContent = '[show]';
function do_hide(d, b) {
add_elt_class(d, 'hide');
b.textContent = '[show]';