pre {
  white-space: pre-wrap
}

span.logic {
  font-weight: bold;
  color: purple;
}

/* Styles to replicate key SpecGen styles */

.azlist {
  margin-top: 10pt;
  padding: 5px;
  border: 1px solid #e3dcf2;
}

.specterm {
  margin-top: 1em;
}

.specterm h4 {
  margin-top: 1em;
}

.specterm h5,
.specterm h6 {
  font-weight: bold;
  font-style: normal;
  font-variant: normal;
  margin-top: 1em;
  margin-bottom: 1em;
}

section.specterm {
  padding-left: 1.5em;
  padding-right: 1.5em;
  padding-top: 0.1ex;
  padding-bottom: 0.1ex;
  background-color: #eefafc;
  border: 1px solid;
  border-left: 0.5em solid;
  border-color: #52c8e0;
}

.ssn {
  background-color: #beeaf3;
}

.buttonpanel {
  display: flex;
  justify-content: flex-end;
  margin-top: 1ex;
  margin-bottom: 1ex;
  padding-left: 1ex;
  padding-right: 1ex;
  padding-top: 1ex;
  padding-bottom: 0.6ex;
  border: 0px dotted black;
  font-size: small;
}

ul.align-on-symbol {
  list-style: none;
  margin-left: 0;
  padding-left: 0;
}

ul.align-on-symbol li {
  margin-left: 0;
  padding-left: 0;
  display: flex;
  /*gap: 0.5em;*/
  font-family: monospace;
  /* optional for better alignment */
}

ul.align-on-symbol li .lhs {
  min-width: 30ch;
  /* fixed width for alignment */
  text-align: right;
}

ul.align-on-symbol.align-on-symbol-long li .lhs {
  min-width: 50ch;
  /* fixed width for alignment */
  text-align: right;
}

ul.align-on-symbol li .symbol {
  padding: 0 0.5ch;
}

ul.align-on-symbol li .rhs {
  flex: 1;
  text-align: left;
}

/* Responsive behavior for small screens */
@media (max-width: 600px) {
  ul.align-on-symbol li {
    display: block;
    /* stack vertically */
    margin-bottom: 1em;
  }


  ul.align-on-symbol li .lhs {
    min-width: 0;
    text-align: left;
    display: block;
    margin-bottom: 0.25em;
  }

  ul.align-on-symbol.align-on-symbol-long li .lhs {
    min-width: 0;
    text-align: left;
    display: block;
    margin-bottom: 0.25em;
  }

  ul.align-on-symbol li .symbol,
  ul.align-on-symbol li .rhs {
    display: inline;
  }

  /* Wrap symbol+rhs in a flex container */
  ul.align-on-symbol li .symbol+.rhs {
    display: inline;
  }

  /* Optional: indent second line */
  ul.align-on-symbol li .symbol {
    padding-left: 1.5em;
    padding-right: 0.5ch;
  }
}

/* --- TABLE --- */

table {
  border-spacing: 0;
  border-collapse: collapse;
  border-bottom: 3px solid #005a9c;
  border-top: 3px solid #005a9c;
}
th {
  background-color: #4d6068;
  color: #ffffff;
  padding: 3px 5px;
  text-align: left;
}
th[scope="row"] {
  background: inherit;
  color: inherit;
  border-top: 1px solid #ddd;
}
td {
  padding: 3px 10px;
  border-top: 1px solid #ddd;
}
tr:nth-child(odd) {
  background: #d6e2f0;
}