.syntax-theme-base .html .doctype {
  font-weight: bold;
  color: #938; }