header {
  background-color: #dfdfdf;
}
.code, .pre{
  background-color: #dfdfdf;
  font-family: monospace;
}

.timestamp {
  /* font-size: 8px; */
}