/* SPDX-License-Identifier: CC-0 */
html {
  line-height: 1.3;
}

body {
  max-width: 105ch;
  margin: 2rem auto;
  padding 0 1rem;
}

.keyword {
    font-weight: bold;
    font-style: normal;
    font-family: serif;
}

h1 {
  text-align: center;
}

.indented {
    margin-left: 1in;
    margin-right: 1in;
}

.small-title {
   text-align: center;
}

.examples > li {
    font-style: italic;
    font-family: serif;
    font-size: 16px;
}

.truth-table > thead > tr > th {
  font-style: italic;
  font-family: serif;
  min-width: 50px;
};

pre {
  font-style: italic;
  font-family: serif;
}

blockquote {
  text-align: right;
}

.hoare-quote {
  margin-left: auto;
  font-style: italic;
  max-width: 60ch;
}

code {
  font-style: italic;
  font-family: serif;
  font-size: 16px;
}

dl.bnf {
  display: grid;
  grid-template-columns: max-content 1fr; /* LHS | RHS */
  column-gap: 1ch;
  row-gap: 0.25em;

  margin: 1em 0;
}

dl.bnf > dt,
dl.bnf > dd {
  margin: 0;
}

/* LHS */
dl.bnf > dt {
  grid-column: 1;
  font-weight: 600;
}

/* First RHS after each dt */
dl.bnf > dt + dd {
  grid-column: 2;
}

/* Subsequent RHS alternatives */
dl.bnf > dd + dd {
  grid-column: 2;
}

table > tbody > tr > th {
  font-weight: normal;
  font-style: italic;
}
table {
  border-collapse: collapse;
  width: 100%;
}

thead  {
  border-bottom: 2px solid #000;
}
.parameter-restrictions > thead > tr > th {
    text-align: left;
    font-weight: normal;
    font-style: italic;
}

.comment-conventions > thead > tr > th {
    text-align: left;
    font-weight: normal;
}