<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">h2 {
  display: block;
  font-family: serif;
  font-size: 22px;
  margin: 16px 6px 0px 0px;
}

h3 {
  display: block;
  font-family: serif;
  font-size: 19px;
  margin: 6px 0px 0px 8px;
}

p {
  display: block;
  margin: 6px 12px 0px 0px;
}

pre {
  display: inline;
  font-family: monospace;
  whitespace: pre;  
}

pre.code-long {
  font-size: 90%;
}

tt {
  display: inline;
  font-family: monospace;
  whitespace: normal;
}

tt.code {
  font-size: 90%;
}

tt.file-name {
}

span {
  display: inline;
}

span.gram-t {
  font-family: monospace;
  font-weight: bold;
}

span.gram-lt {
  font-family: monospace;
  font-weight: bold;
}

span.gram-nt {
  font-family: 'Arial', sans-serif;
  font-weight: bold;
  font-style: italic;
}

ul {
  margin-top: 0;
  margin-bottom: 4px;
}

ol {
  margin-top: 0;
  margin-bottom: 4px;
}

b {
  display: inline;
  font-weight: bold;
}

b.def {
}

a {
}

a.int {
}

a.ext {
}

a.file {
}
</pre></body></html>