/* === Automatically created from z_syntax.scss - do not modify! === */

section > h2 {
  margin-top: 2em;
  padding-top: 1em;
  border-top: 0.5em solid #ddf;
}

p .plus {
  padding: 0 2px;
  border: 1px dotted red;
  background: #fee;
}

div.plus {
  border: 1px dotted red;
}

table.plus td,
.plus > td {
  border: 1px dotted red;
  background: #fee;
}

table {
  width: 100%;
  max-width: calc(100vw - 4em);
}

#pfy .mdp-table td:nth-child(2) {
  max-width: 19em;
}
#pfy .mdp-table td:nth-child(3) {
  background: #fafad4;
}
#pfy .mdp-table td:nth-child(3) pre {
  outline: none;
  background: none;
  padding: 0;
}
#pfy .mdp-table td {
  padding: 10px;
}
#pfy .mdp-table td h1, #pfy .mdp-table td h2, #pfy .mdp-table td h3 {
  padding: 0;
  margin: 0;
}
#pfy .mdp-table td dl, #pfy .mdp-table td ul, #pfy .mdp-table td ol {
  padding-top: 0;
  padding-bottom: 0;
  margin: 0;
}
#pfy .mdp-table td dt {
  color: black;
}
#pfy .mdp-table td h1, #pfy .mdp-table td h2, #pfy .mdp-table td h3 {
  line-height: 1em;
}

.mdp-col-1 {
  font-family: monospace, monospace;
}

.mdp-col-1,
.mdp-col-2 {
  width: 25%;
  max-width: 25vw;
  overflow-x: auto;
}

.mdp-col-3 {
  width: 50%;
  max-width: calc(50vw - 4em);
  overflow-x: auto;
}

#pfy dt {
  margin: 2.6em 0 0.6em 0;
}

dt {
  font-weight: bold;
  font-size: 120%;
}

#pfy dl + pre {
  margin: 0.5em 0 0 3em;
}

#pfy dd p {
  margin: 0.1em 0;
}

#pfy dd pre {
  margin: 0.5em 0;
}

pre code br {
  display: none;
}

#pfy .mdp-table pre {
  margin: 0;
  font-size: 9pt;
  white-space: pre;
}

#pfy strong {
  color: black;
}

.pfy-section-3 em {
  font-size: 80%;
}

.mdp-col-1 {
  font-size: 10pt;
}

#pfy .mdp-col-2 dt {
  margin: 0;
}