<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body {
  background: white;
}

h1 {
  color: #033;
}

h2 {
  color: #036;
}

h3 {
  color: #033;
  border-bottom: 1px dashed #ccf;
}

p {
  margin: 1em 30px 1em 20px;
}

.details {
  color: #600;
}

.milestones {
  color: #474;
}

em {
  color: #272;
}

li {
  list-style: square;
}

dt {
  font-weight: bold;
  color: #006;
}

.note {
  border: solid 1px #ccf;
  background: #ddf;
}

.w3cnote {
  border: solid 1px #fcc;
  background: #fdd;
}
</pre></body></html>