.output[data-v-1fb30655] {
  font-family: monospace;
}
.output  > tr[data-v-1fb30655]:hover {
  background-color: #f0f0f0;
}
.output table[data-v-1fb30655] {
  padding: 2px;
}
.addr[data-v-1fb30655] {
  padding-right: 15px;
  font-size: 0.9em;
}