code.html {
  margin:           0;
}

code.html pre {
  margin:           0.5em;
}

code.html .tag {
  color:            rgb(140, 80, 240);
  font-weight:      bold;
}

code.html .attrib {
  color:            rgb(122, 74, 0);
}

code.html .property {
  color:            rgb(80, 40, 120);
  font-weight:      bold;
}

code.html .value {
  color:            rgb(220, 124, 0);
}

code.html .comment {
  color:            rgb(79, 122, 40);
}

code.html .keyword {
  color:            rgb(94, 48, 235);
  font-weight:      bold;
}

code.html .number {
  color:            rgb(131, 17, 0);
}

code.html .string {
  color:            rgb(0, 140, 180);
}