body, html {
  padding: 0;
  margin: 0;
}

body {
  overflow-y: scroll;
}

#contents {
  width: 1600px;
  margin: auto;
}

pre {
  white-space: pre-wrap;
}

.log_event {
  border: 2px solid grey;
  margin: 4px;
  padding: 5px;
}

.log_event pre {
  background-color: #EDEDEDC0;
  margin: 0px;
  padding: 5px;
  border: 1px solid grey;
}

/* Faded bottom when folded: https://stackoverflow.com/questions/22666063/how-to-fade-the-edge-of-a-div-with-just-css */

pre.folded {
  max-height: 60px;
  overflow: hidden;
  position: relative;
}

.log_event pre.folded:after {
  content: "";
  position: absolute;
  z-index: 1;
  bottom: 0;
  left: 0;
  pointer-events: none;
  background-image: linear-gradient(to bottom, rgba(255,255,255,0), rgba(255,255,255, 1) 90%);
  width: 100%;
  height: 4em;
}

p.log_event_tag {
  text-align: right;
  font-size: 8pt;
  height: 0px;
  padding: 0px;
  margin: 0px;
  position: relative;
  top: 5px;
  padding-right: 5px;
}

p.log_event_header {
  padding: 0px;
  margin: 0px;
  margin-bottom: 6px;
}

span.span_buttons {
  float: right;
  padding: 0;
}

span.span_buttons button {
  margin: 0px;
  margin-left: 2px;
  width: 6em;
}

span.span_name {
  font-weight: bold;
  color: firebrick;
}

.log_span {
  border: 2px solid firebrick;
  margin: 4px;
}

.log_span > div {
  margin: 0;
  padding: 0;
}

div.log_span_header {
  padding: 5px;
}

p.log_span_header {
  margin: 0;
}

span.span_name span.span_prefix {
  color: black;
}

span.span_prefix_part {
  cursor: pointer;
}

span.span_prefix_part:hover {
  text-decoration: underline;
}

p.log_span_header span.span_time span.large_time {
  text-decoration: underline;
  color: purple;
}

p.p_button_pre {
  padding: 0;
  margin: 0;
  position: relative;
  height: 0;
}

p.p_button_pre > button {
  position: absolute;
  right: 5px;
  top: 5px;
  z-index: 99;
}

p.control_bar {
  text-align: center;
  margin: 0;
  padding: 10px;
  position: sticky;
  top: 0;
  background-color: lightgrey;
  border-bottom: 2px solid darkgrey;
  border-left: 2px solid darkgrey;
  border-right: 2px solid darkgrey;
  z-index: 999;
}

p.control_bar button, p.control_bar label {
  margin-right: 10px;
}

span.deleted {
  text-decoration: line-through;
  text-decoration-color: black;
  text-decoration-thickness: 2px;
}

div.search_highlight.log_event {
  background-color: lightyellow;
}

div.search_highlight.log_span {
  border-color: orangered;
}

div.search_highlight.log_span > p > span.span_name {
  color: orangered;
}

div.focused {
  border-width: 4px;
}

span.search_info {
  padding: 5px;
  width: 120px;
  display: inline-block;
}

span.sub_control_bar {
  padding-left: 20px;
  padding-right: 20px;
}

span.search_time {
  padding: 5px;
  color: orangered;
}

span.sub_control_bar button, span.sub_control_bar input {
  margin: 2px;
}

div.log_span_header.scrolled_to {
  background-color: lightgreen;
}

div.log_span.hidden_empty_span {
  display: none;
}
