@charset "UTF-8";
html {
  height: 100%;
  font-size: 10pt;
  font-family: arial;
}

body {
  height: 100%;
  margin: 0;
  padding: 0;
}

.section, div.interface {
  display: flex;
  flex-direction: column;
}
.section > *, div.interface > * {
  flex: 1 1 auto;
}
.section > header, div.interface > header, .section > footer, div.interface > footer {
  flex: 0 0 auto;
  background-color: rgba(0, 0, 0, 0.3);
  padding: 0.5em;
}
.section > footer, div.interface > footer {
  order: 1000;
}

.columns, div.body {
  display: flex;
}
.columns > *, div.body > * {
  flex: 1 1 auto;
}
.columns > * + *, div.body > * + * {
  margin-left: 1em;
}

.enum {
  display: flex;
  flex-wrap: wrap;
}
.enum > * {
  background-color: rgba(0, 0, 0, 0.1);
  background-color: #eeeef6;
  margin: 0.2em;
  padding: 0.2em 0.5em;
}

.hierarchy ul {
  padding-left: 4ch;
}
.hierarchy ul ::marker {
  content: "☼ ";
}

.frame, .frames > * {
  border: 1px solid #99a;
  padding: 1em;
  margin: 0.5em 0;
}
.frame > *:first-child, .frames > * > *:first-child {
  margin-top: 0;
}

.content {
  display: grid;
}

div.body {
  padding: 1em;
}

div.column {
  flex: 0 0 15em;
}

div.interface > header {
  display: flex;
  justify-content: space-between;
  align-items: flex-end;
}
div.interface > header a {
  color: inherit;
  text-decoration: inherit;
  background-color: rgba(0, 0, 0, 0.1);
  border-radius: 7px;
  padding: 0.25em 1em;
}

.codeblock {
  white-space: normal;
  font-family: monospace;
  border: 1px solid #ccc;
  margin-bottom: 0.5em;
}
.codeblock > * {
  white-space: pre;
  padding: 0.25ch;
}
.codeblock > *:nth-child(odd) {
  background-color: rgb(247, 247, 247);
}
.codeblock > *:nth-child(even) {
  background-color: rgb(255, 255, 255);
}

h2 {
  cursor: pointer;
}

.collapse > h2::after {
  content: "...";
  border: 1px solid #ccc;
  background-color: #eee;
  color: #666;
  margin-left: 1ch;
  padding: 0 0.5ch;
  line-height: 0;
  height: 11px;
  display: inline-block;
  margin-top: -2px;
  vertical-align: 4px;
}
.collapse > h2 ~ * {
  display: none;
}

#summary {
  position: sticky;
  top: 1em;
  bottom: 1em;
}
#summary a {
  color: inherit;
  text-decoration: inherit;
  display: flex;
  line-height: 1;
  padding: 0.2em;
}
#summary ul {
  border-left: 0.25em solid rgba(0, 0, 0, 0.1);
  margin-left: 0.2em;
  padding-left: 0.2em;
}
#summary li {
  margin: 0.2em 0;
}

ul {
  margin: 0;
  padding: 0;
  list-style-type: none;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  margin: 0;
}

li > b:first-child {
  font-weight: bold;
}
li > b:first-child:after {
  content: ":";
}

@media print {
  div.column {
    display: none;
  }
}