.ednote {
  background: #eee;
  border: 2px double #f24;
  margin: 20px;
  padding: 8px;
}
.ednoteHeader {
  font-size: 100%;
  margin-top: 8px;
  font-weight: bold;
  display: block;
  color: #f24;
  border-bottom: 1px solid #ccc;
  padding-top: 0.5em;
}
#toc > ul > li {
  list-style-type: none;
  margin-top: 6px;
  margin-bottom: 6px;
}
#toc > ul > li > ul > li {
  list-style-type: none;
  margin-top: 0px;
  margin-bottom: 0px;
}
#toc > ul > li > ul > li > ul > li {
  list-style-type: none;
  margin-top: 0px;
  margin-bottom: 0px;
}

#toc > ul > li > ul > li > ul > li > ul > li {
  list-style-type: none;
  margin-top: 0px;
  margin-bottom: 0px;
}

/* yipes ; guess what section this is */
#toc > ul > li > ul > li > ul > li > ul > li > ul > li {
  list-style-type: none;
  margin-top: 0px;
  margin-bottom: 0px;
}
#toc ul {
  margin-bottom: 0.5em;
}
.terminal, code, .prop, .esstring, .javavalue {
  font-family: monospace;
  background: #ddd;
}
pre.code code {
  background: inherit;
}
.propattrset {
}
/*.prop {
  font-family: monospace;
}*/
table.vert {
  border-collapse: collapse;
  border: 1px solid #aaa;
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: auto;
  margin-right: auto;
}
table.vert td {
  background: #f8f8f8;
}
table.vert th {
  text-align: left;
  vertical-align: bottom;
  background: #ddd;
  border-bottom: 3px double #aaa;
  white-space: nowrap;
}
table.vert td {
  border-top: 1px solid #aaa;
  border-bottom: 1px solid #aaa;
  vertical-align: top;
}
table.vert th, table.vert td {
  padding: 0.25em 0.75em;
}
table.vert td.table-note {
  background: none;
  border-left: 1px solid white;
  border-right: 1px solid white;
  border-bottom: 1px solid white;
  font-size: 90%;
}
.xattr {
  font-family: monospace;
}
table.grammar {
  border-collapse: collapse;
  background: #eee;
  padding: 0.5em;
  margin: 0 2em;
  overflow: auto;
}
table.grammar td {
  vertical-align: top;
  margin: 0;
  padding: 0.325em 1em;
}
table.grammar td.prod-rhs {
  vertical-align: inherit;
}
.nt, .prod-lines {
  font-family: monospace;
  white-space: nowrap;
}
.nt-attr {
  font-style: italic;
  font-size: 85%;
}
.idltype, .idlvalue {
  font-weight: bold;
}
.idlop {
  font-weight: bold;
}
.esvalue, .estype {
  font-weight: bold;
}
.esstring {
  font-family: monospace;
}
.javatype, .javapkg {
  font-weight: bold;
}
.regex {
  font-family: monospace;
  white-space: nowrap;
}
.typevar {
  font-style: italic;
}
.example {
  border-left: 6px solid #3c1;
  padding: 1px 0.5em;
  padding-bottom: 0.5em;
  background: #eee;
  margin: 1em 2em;
  margin-bottom: 0;
}
.exampleHeader {
  font-weight: bold;
  display: block;
  border-bottom: 1px solid #ccc;
  padding-top: 0.5em;
}
.note {
  border-left: 6px solid #31c;
  padding: 1px 0.5em;
  padding-bottom: 0.5em;
  background: #eee;
  margin: 1em 2em;
  margin-bottom: 0;
}
.noteHeader {
  font-weight: bold;
  display: block;
  border-bottom: 1px solid #ccc;
  padding-top: 0.5em;
}
pre {
  overflow: auto;
  margin: 0;
}
pre.code {
  padding: 0 1em;
  margin: 0;
}
.block {
  border: 1px solid #ccc;
  border-left: 3px double #ccc;
  background: #e6e6e6;
  margin: 2em;
  margin-top: 1em;
  margin-bottom: 0;
  padding: 0 0.5em;
  padding-bottom: 0.5em;
}
.blockTitleDiv {
  text-align: left;
}
.blockTitle {
  position: relative;
  top: -0.75em;
  border: 1px solid #ccc;
  background: white;
  color: #444;
  padding: 0.25em;
  font-weight: bold;
  font-size: 80%;
}
dfn {
  font-weight: bold;
  font-style: italic;
}
.dfnref {
}
li {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
.norm {
  font-style: italic;
}
.rfc2119 {
  font-variant: small-caps;
}
dfn var {
  font-style: normal;
}
blockquote {
  background: #eee;
  padding: 0.5em;
  margin-left: 2em;
  margin-right: 2em;
}
a.placeholder {
  color: #00e;
}
dl.changes > dd {
  margin-left: 0;
}
caption {
  caption-side: bottom;
  margin-top: 1em;
  font-weight: bold;
}

q {
  font-weight: bold;
  quotes: "" "" "" "";
}

q::before {
  font-weight: normal;
}
q::after {
  font-weight: normal;
}
code {
  padding: 2px;
  background-color: white;
}
.element, .event, .domattribute, .method, .htmlattribute {
  font-weight: bold;
}
.element {
  color: blue;
}
.event {
  color: orangered;
}
.domattribute {
  color: green;
}
.method {
  color: brown;
}
.htmlattribute {
  color: blueviolet;
}
#this_sections > div[class="section"] > h2 {
  font-size: 25px;
  font-weight: bold;
}
/* h2 at h3 level */
#this_sections > div[class="section"] > div[class="section"] > h2 {
  font-size: 22px;
  font-weight: bold;
}
/* h2 at h4 level */
#this_sections > div[class="section"] > div[class="section"] > div[class="section"] > h2 {
  font-size: 19px;
  font-weight: bold;
}
/* h2 at h6 level */
#this_sections > div[class="section"] > div[class="section"] > div[class="section"] > div[class="section"] > h2 {
  font-size: 1em;
  font-weight: bold;
}
/* h2 at h7 level */
#this_sections > div[class="section"] > div[class="section"] > div[class="section"] > div[class="section"] > div[class="section"] > h2 {
  font-size: 1em;
  font-weight: bold;
  font-style: italic;
}
.highlight {
  background-color: yellow;
  padding: 2px;
}
del {
  font-weight: normal;
}

.spec-links {
  background-color: cornsilk;
  padding: 4px;
}

.spec-link {
  font-style: italic;
  margin: 0px;
  font-size: 80%;
}

#tocjump {
  font-style: italic;
}

h2 > a {
  display: none;
}

h2:hover > a {
  display: inline;
  text-decoration: none;
}