html, body {
  margin: 0;
  padding: 0;
  font-family: 'Noto serif', serif;
}

body {
  background: #f2f2f2;
}

.prefix {
  color: #ff7f00;
  font-size: 12px;
}
.literal {
  color: #999;
}
.clipboard {
  color: #f2f2f2; 
  cursor: pointer;
  padding-left: 5px;
}