/* 13) Code tabs & containers */
.tab-group {
  margin-top: 10px;
}

.tabs {
  overflow: hidden;
  background-color: #eaeaea;
  display: inline-flex;
  border-radius: 5px 5px 0 0;
}
.tabs button {
  background-color: inherit;
  padding: 8px 12px;
  cursor: pointer;
  transition: background-color 0.3s ease;
  color: #333;
  border: none;
  outline: none;
  font-size: 14px;
}
.tabs button:hover,
.tabs button.active {
  background-color: #d4d4d4;
}
.code-container {
  vertical-align: top;         /* so multiple groups line up nicely */
  background-color: #fff;
  border-radius: 0 5px 5px 5px;
  border: 1px solid #ccc;
  overflow-x: auto;
}

/* once JS runs, hide all panels by default… */
.js-enabled .code-container {
  display: none;
}
/* …but show only the one with “active” */
.js-enabled .code-container.active {
  display: block;
}

/* 9) Demo container & iframe styling */
.embeddedDemoContainer {
  width: 100%;
  display: flex;
  justify-content: flex-start;
  box-sizing: border-box;
  border: 2px solid #888;       /* ? border around the whole demo block */
  padding: 0px;                 /* ? optional inner spacing */
  border-radius: 4px;           /* ? optional rounding */
  
  
}
.embeddedDemo {
  display: block;      /* so it always fills the full row */
  width: 100%;
  border: none;
}

/* Applied to any UL or OL with class="spaced" */
ul.spaced,
ol.spaced {
  margin: 1em 0;         /* space above & below the list */
  line-height: 1.25;      /* spacing within each item */
}

/* Add a bit of breathing room after each list item */
ul.spaced > li,
ol.spaced > li {
  margin-bottom: 0.5em;
}

pre {
  display: inline-block;
  white-space: pre; /* preserve line breaks and spacing */
}


.theorem, .lemma {
  border: 2px solid #003366;
  background-color: #f0f8ff;
  padding: 1em;
  margin: 2em 0;
  border-left: 6px solid #003366;
  box-shadow: 2px 2px 4px rgba(0,0,0,0.1);
}

.theorem::before {
  content: "Theorem";
  font-weight: bold;
  display: block;
  margin-bottom: 0.5em;
  color: #003366;
}

.lemma::before {
  content: "Lemma";
  font-weight: bold;
  display: block;
  margin-bottom: 0.5em;
  color: #003366;
}

.proof {
  border-left: 4px solid #888;
  margin-top: 1em;
  padding-left: 1em;
  font-style: italic;
}

.proof::before {
  content: "Proof: ";
  font-weight: bold;
  font-style: normal;
}

/* 15) Example boxes & tables */
.example-box {
  display: inline-block;
  vertical-align: top;
  border: 1px solid #888;
  background-color: #f0f8ff;
  padding: 10px;
  margin-bottom: 10px;
}
.example-box strong.example-title {
  color: #1a73e8;
  font-style: italic;
}
.example-table {
  /*width: 100%;*/
  border-collapse: collapse;
  margin: 1em 0;
  font-size: 0.95rem;
  line-height: 1.4;
}
.example-table th {
  background-color: #f2f2f2;
  font-weight: 600;
  padding: 0.75em;
  text-align: left;
  border-bottom: 2px solid #ddd;
}
.example-table td {
  border-bottom: 1px solid #eee;
  text-align: center;
}
.example-table tbody tr:nth-child(even) {
  background-color: #fafafa;
}
.example-table tbody tr:hover {
  background-color: #f5f5f5;
}
.example-table.left-align td {
  text-align: left;
}