/* style.css Overrides */
body  {
  max-width: 1300px;
}

.title {
  max-width: 779px;
}

/* Table Formatting */
table {
  border-collapse: collapse;
  margin: 10px;
}

.table-caption {
  text-decoration: underline;
  margin-bottom: 10px;
}

td, th {
  border: 1px dotted lightgray;
  padding: 5px 2px;
}

thead>tr>th {
  font-size: larger;
  background-color: #f3f3ff;
}

tbody>tr>th {
  font-weight: normal;
}

td {
  text-align: center;
}

tr:nth-child(even) {
  background-color: #f3f3ff;
}

.col-example, .col-code {
  font-size: smaller;
}

.col-example {
  text-align: left;
  min-width: 175px;
}

.col-description {
  max-width: 1100px;
}

/* Individual styling */
#focus-example:focus {
  background-color: var(--default-accent-green);
}

/* Font styling */
.code {
  background-color: white;
  font-size: larger;
}

.italic {
  font-style: italic;
}

.wspace-pre {
  white-space: pre;
}