.sw-dt-title {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  margin: 0.25rem 0 0.75rem;
}

.doc-version-switcher {
  margin-top: 0.55rem;
  text-align: left;
}

.doc-version-switcher label {
  display: block;
  color: #e7eef8;
  font-size: 0.76rem;
  font-weight: 700;
  margin-bottom: 0.18rem;
}

.doc-version-select {
  width: 100%;
  min-height: 1.95rem;
  border-radius: 0.2rem;
  border: 1px solid #2a78ae;
  background: #ffffff;
  color: #1f2d3d;
  padding: 0.15rem 0.3rem;
}

.doc-version-banner {
  margin: 0 0 0.7rem;
  padding: 0.38rem 0.55rem;
  border: 1px solid #c8d4e8;
  border-radius: 0.25rem;
  background: #f4f8ff;
  color: #2c4a73;
  font-size: 0.86rem;
  font-weight: 600;
}

.wy-side-nav-search > a img.logo {
  max-height: 60px;
  width: auto;
}

.sw-dt-name {
  font-weight: 700;
  font-size: 1.15rem;
  line-height: 1.2;
}

.sw-dt-badge {
  display: inline-block;
  padding: 0.12rem 0.55rem;
  border-radius: 999px;
  font-size: 0.72rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: #444;
  background: #eee;
  border: 1px solid #ccc;
}

.sw-dt-badge-primitive {
  color: #0b5e3f;
  background: #dff6ea;
  border-color: #8fd8b3;
}

.sw-dt-badge-struct {
  color: #0b4f8a;
  background: #e3f1ff;
  border-color: #9fc7f2;
}

.sw-dt-badge-enum {
  color: #6b3d00;
  background: #ffefcc;
  border-color: #e5c57a;
}

.sw-dt-badge-alias {
  color: #5b2f74;
  background: #f0e4ff;
  border-color: #c8a9f0;
}

.sw-dt-badge-n-a {
  color: #444;
  background: #eee;
  border-color: #ccc;
}

p.plantuml {
  overflow-x: auto;
  max-width: 100%;
  cursor: zoom-in;
}

p.plantuml object,
p.plantuml img {
  width: 100% !important;
  max-width: 100% !important;
  height: auto !important;
}

p.plantuml object {
  pointer-events: none;
}

.rst-content table.docutils,
.rst-content table.docutils th,
.rst-content table.docutils td {
  width: auto;
}

.rst-content table.docutils {
  width: 100%;
  table-layout: fixed;
}

.rst-content table.docutils th,
.rst-content table.docutils td {
  white-space: normal;
  vertical-align: top;
  overflow-wrap: anywhere;
  word-break: break-word;
}

.rst-content table.docutils td a {
  overflow-wrap: anywhere;
  word-break: break-word;
}

.rst-content table.docutils td ul {
  list-style: none !important;
  margin: 0;
  padding-left: 0;
}

.rst-content table.docutils td li {
  list-style: none !important;
  margin: 0;
  padding: 0;
}

.rst-content table.docutils td li::marker {
  content: "" !important;
}

.rst-content table.docutils td li + li {
  margin-top: 0.12rem;
}

.dd-filter-summary {
  display: flex;
  justify-content: flex-end;
  margin: 0.3rem 0 0.35rem;
}

.dd-filter-count {
  font-size: 0.9rem;
  color: #666;
  white-space: nowrap;
}

.rst-content table.docutils.dd-fullwidth-table thead th {
  position: relative;
}

.dd-th-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.35rem;
  width: 100%;
}

.dd-th-label {
  min-width: 0;
}

.dd-filter-trigger {
  border: 0;
  background: transparent;
  color: #2b6cb0;
  cursor: pointer;
  padding: 0;
  margin-left: auto;
  font-size: 0.9rem;
  line-height: 1;
}

.dd-filter-trigger:hover {
  color: #1a4f85;
}

.dd-filter-trigger.dd-filter-trigger-funnel {
  width: 0.95rem;
  height: 0.95rem;
  background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24'%3E%3Cpath d='M3 5h18l-7 8v5l-4 2v-7L3 5z' fill='none' stroke='%232b6cb0' stroke-width='2.1' stroke-linejoin='round'/%3E%3C/svg%3E");
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
}

.dd-filter-trigger.dd-filter-trigger-funnel:hover {
  background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24'%3E%3Cpath d='M3 5h18l-7 8v5l-4 2v-7L3 5z' fill='none' stroke='%231a4f85' stroke-width='2.1' stroke-linejoin='round'/%3E%3C/svg%3E");
}

.dd-filter-panel {
  display: none;
  position: absolute;
  z-index: 40;
  top: calc(100% + 0.15rem);
  left: 0;
  min-width: 14rem;
  max-width: 20rem;
  max-height: 16rem;
  overflow: auto;
  background: #fff;
  border: 1px solid #c8c8c8;
  border-radius: 0.2rem;
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.12);
  padding: 0.45rem;
}

.dd-filter-panel.dd-open {
  display: block;
}

.dd-filter-text {
  width: 100%;
  min-height: 1.9rem;
  padding: 0.18rem 0.35rem;
}

.dd-filter-checkboxes {
  display: flex;
  flex-direction: column;
  gap: 0.2rem;
}

.dd-filter-checkbox-item {
  display: flex;
  align-items: center;
  gap: 0.35rem;
  margin: 0;
  font-size: 0.9rem;
}

.req-badge {
  display: inline-block;
  padding: 0.12rem 0.5rem;
  border-radius: 999px;
  font-size: 0.72rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.03em;
  border: 1px solid #ccc;
  color: #444;
  background: #eee;
}

.req-badge-high {
  color: #8a1b11;
  background: #ffe4e1;
  border-color: #f2a59d;
}

.req-badge-medium {
  color: #7a4d00;
  background: #fff1d6;
  border-color: #e5c27d;
}

.req-badge-low {
  color: #0f5a3f;
  background: #e1f6ea;
  border-color: #9bd9b9;
}

.req-badge-functional {
  color: #0b4f8a;
  background: #e3f1ff;
  border-color: #9fc7f2;
}

.req-badge-safety {
  color: #7b1e1e;
  background: #ffe5e5;
  border-color: #efaaaa;
}

.req-badge-non-functional {
  color: #5b2f74;
  background: #f0e4ff;
  border-color: #c8a9f0;
}

.req-badge-pass {
  color: #0f5a3f;
  background: #e1f6ea;
  border-color: #9bd9b9;
}

.req-badge-fail {
  color: #8a1b11;
  background: #ffe4e1;
  border-color: #f2a59d;
}

.req-badge-blocked {
  color: #7b1e1e;
  background: #ffe5e5;
  border-color: #efaaaa;
}

.req-badge-not-run {
  color: #7a4d00;
  background: #fff1d6;
  border-color: #e5c27d;
}

.req-badge-functional-acceptance,
.req-badge-behavior,
.req-badge-local-interface,
.req-badge-interface-contract,
.req-badge-sequence-flow {
  color: #0b4f8a;
  background: #e3f1ff;
  border-color: #9fc7f2;
}

.req-badge-safety-acceptance,
.req-badge-state-machine,
.req-badge-lifecycle {
  color: #7b1e1e;
  background: #ffe5e5;
  border-color: #efaaaa;
}

.req-badge-nonfunctional-acceptance,
.req-badge-activity,
.req-badge-timing-local,
.req-badge-timing-budget {
  color: #5b2f74;
  background: #f0e4ff;
  border-color: #c8a9f0;
}

.model-explorer-root {
  margin-top: 0.6rem;
}

.mx-card {
  border: 1px solid #d6d9de;
  border-radius: 0.35rem;
  background: #fff;
  padding: 0.8rem;
}

.mx-toolbar {
  display: flex;
  flex-wrap: wrap;
  gap: 0.65rem;
  align-items: flex-end;
  margin-bottom: 0.65rem;
}

.mx-field {
  display: flex;
  flex-direction: column;
  gap: 0.2rem;
  min-width: 16rem;
}

.mx-field label {
  font-size: 0.84rem;
  font-weight: 700;
}

.mx-input {
  min-height: 2rem;
  padding: 0.22rem 0.42rem;
}

.mx-depth {
  min-width: 10rem;
}

.mx-seg {
  display: inline-flex;
  border: 1px solid #c2c9d3;
  border-radius: 0.35rem;
  overflow: hidden;
}

.mx-btn {
  border: 0;
  background: #f5f7fb;
  color: #2d3748;
  padding: 0.28rem 0.62rem;
  cursor: pointer;
  font-size: 0.88rem;
}

.mx-btn + .mx-btn {
  border-left: 1px solid #c2c9d3;
}

.mx-btn-active {
  background: #e3efff;
  color: #1f5fa8;
  font-weight: 700;
}

.mx-check {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  font-size: 0.9rem;
}

.mx-nav-btn {
  border: 1px solid #c3cad4;
  background: #f6f8fc;
  color: #2d3748;
  border-radius: 0.25rem;
  height: 1.9rem;
  min-width: 2rem;
  cursor: pointer;
}

.mx-nav-btn:disabled {
  opacity: 0.45;
  cursor: not-allowed;
}

.mx-nav-status {
  color: #516072;
  font-size: 0.86rem;
  min-width: 4rem;
}

.mx-profiles {
  margin-left: 0.2rem;
}

.mx-profiles summary {
  cursor: pointer;
  font-weight: 700;
}

.mx-profiles-count {
  color: #65758a;
  font-weight: 600;
  font-size: 0.84rem;
}

.mx-profiles-list {
  max-height: 13rem;
  overflow: auto;
  border: 1px solid #d8dce3;
  border-radius: 0.3rem;
  padding: 0.45rem;
  min-width: 24rem;
  background: #fff;
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(180px, 1fr));
  gap: 0.35rem;
}

.mx-profile-item {
  display: inline-flex;
  align-items: center;
  gap: 0.38rem;
  border: 1px solid #d7dce6;
  border-radius: 999px;
  padding: 0.2rem 0.5rem 0.2rem 0.4rem;
  background: #fbfcff;
  font-size: 0.86rem;
}

.mx-profile-dot {
  width: 0.52rem;
  height: 0.52rem;
  border-radius: 999px;
  border: 1px solid rgba(0, 0, 0, 0.16);
  flex: 0 0 auto;
}

.mx-profile-name {
  line-height: 1.1;
  color: #2b384f;
}

.mx-toolbar-right {
  margin-left: auto;
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
}

.mx-stats {
  color: #4a5568;
  font-size: 0.9rem;
  font-weight: 600;
}

.mx-graph-wrap {
  border: 1px solid #d9dde4;
  border-radius: 0.35rem;
  min-height: 26rem;
  overflow: hidden;
  background: linear-gradient(180deg, #fbfcfe 0%, #f7f9fd 100%);
}

.mx-graph {
  width: 100%;
  height: 680px;
  display: block;
}

.mx-cy {
  width: 100%;
  height: 680px;
}

.mx-edge {
  stroke: #9aa7bb;
  stroke-width: 1.6;
  opacity: 0.85;
}

.mx-edge-reference {
  stroke: #5b7db1;
  stroke-dasharray: 5 4;
}

.mx-edge-child {
  stroke: #7f8b99;
}

.mx-node-text {
  font-size: 10.5px;
  fill: #2d3748;
  pointer-events: none;
}

.mx-table-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 1rem;
}

.mx-table-grid h4 {
  margin: 0.4rem 0 0.35rem;
}

.mx-badge {
  display: inline-block;
  border: 1px solid #ccd3df;
  border-radius: 999px;
  padding: 0.08rem 0.5rem;
  font-size: 0.74rem;
  font-weight: 700;
  background: #f9fbff;
}

