tr.disconnected {
    background-color: #FFF5F5;
}

nav.controls {
    padding-top: 1em;
    padding-left: 2em;
    padding-right: 2em;
}

#auto-refresh-label {
    margin-right: 1em;
}

a.open-trace {
  visibility: hidden;
}

a.open-trace.show {
  visibility: visible;
}

/* disconnected sessions' history is discarded */
tr.disconnected a.open-trace.show {
  visibility: hidden;
}