html { font-family: Helvetica; color: #444444;}
@media screen and (max-width: 1150px) {
  .session-title { width: 100%; display: block; }
  .session-name-input { width: 100% !important; display: block; }
  .copy-link-div { width: 100%; display: block; }
}
@media screen and (max-width: 600px) {
  .tab { max-width: 100px !important; }
}
.clear-all-inline { text-decoration: underline; }
.name-span { font-size: 14px !important; }
#outer-header { border: 1px solid #aaaaaa; margin: auto; width: 80%; padding: 8px !important; border-bottom: 0px; background-color: #e9e9e9; }
#outer-footer { border: 1px solid #aaaaaa; margin: auto; width: 80%; padding: 8px !important; border-top: 0px; font-size: 12px; background-color: #e9e9e9; position: relative; }
#app-version-div { position: absolute; right: 4px; bottom: 4px; }
#outer-footer a { color: #555555; }
#outer-header-title { font-size: 28px; font-weight: bold; color: #e21b1b; }
#outer-header-subtitle { font-size: 14px; }
.result { color:#000000; padding: 8px 0; width:100%; }
.result-inner { display: flex; flex-direction: column; gap: 16px; }
.result-card {
  border: 1px solid #e0e0e0;
  border-radius: 10px;
  background: #fafafa;
  overflow: hidden;
  box-shadow: 0 1px 4px rgba(0,0,0,0.05);
}
.result-set-header {
  background-color: #f0f0f0;
  border-bottom: 1px solid #e0e0e0;
  padding: 8px 18px;
}
.result-set-number {
  font-size: 15px;
  font-weight: bold;
  color: #444;
  font-family: Helvetica, sans-serif;
  letter-spacing: 0.02em;
}
.result-terms-grid {
  display: flex;
  flex-wrap: wrap;
  gap: 6px 0;
  padding: 16px 18px 12px 18px;
}
.session-title { float: left; }
.session-name-input { text-overflow: ellipsis; width: 31vw; font-size: 22px !important; border: 0px !important; padding: 0px !important; margin: 0px !important; margin-bottom: 6px !important; }
.session-name-input:focus { font-size: 22px; border: 0px; outline: none; }
.delete-model:hover { cursor: pointer; }
.model-tab:not(.active-model-tab) .delete-model { display: none; }
.active-model-tab .delete-model:hover { cursor: default !important; }
.delete-model:hover { cursor: pointer !important; }
.active-model-tab { cursor: default !important; }
.active-model-tab .model-name-input { cursor: text !important; }
.model-tab.active-model-tab .model-name-input { cursor: default; }
.model-tab:not(.active-model-tab) .model-name-input:hover { cursor: pointer; }
html, body { height: calc(100% - 64px); }
.model-name-input { width: calc(100% - 24px); text-overflow: ellipsis; border: 0px !important; padding: 0px !important; margin: 0px !important; margin-bottom: 6px !important; }
.model-name-input:focus { border: 0px; outline: none; }
.session-id-div { font-size: 24px; display: none; }
.session { display: none; height: calc(100% - 32px); }
#clear-all:hover { color: red; cursor: pointer; }
.clear-all-fixed { position: fixed; bottom: 0px; left: 0px; font-size: 16px; }
.clear-all-fixed:hover { color: red; cursor: pointer; }
.ui-state-active { background-color: #FFFFFF !important; color: #000000 !important; border-color: #cccccc !important; }
#tabs { border: 1px solid #aaaaaa; margin: auto; width: 80%; padding: 0px !important; border-bottom: 0px; }
.tab { cursor: pointer; padding: .5em 1em !important; height: 42px; }
.tab:not(.ui-state-active):hover { background-color: #FFFFFF; }
.tab.ui-state-active { cursor: default; }
#new-session { height: 42px; background-color: #f6f6f6; float: left; }
#new-session:hover { background-color: #ffffff; }
.error-msg { color: red; font-size: 18px; }
input[type=button] { cursor: pointer; }
input { margin: 8px; }
.delete-row-span { color: red; cursor: pointer; }
#content { margin: auto; border: 1px solid #aaaaaa; width: 80%; padding: 0px 4px 0px 3px; border-top: 0px; height: auto; box-shadow: 0px 0px 128px 12px rgb(15 15 15 / 20%) }
input { font-family: Helvetica !important; }
input[type=text] {
  padding: 6px 12px;
  font-size: 16px;
  font-weight: 400;
  line-height: 1.5;
  color: #444444;
  background-color: #fff;
  background-clip: padding-box;
  border: 1px solid #e4e4e4;
  appearance: none;
  border-radius: 4px;
  transition: border-color .15s ease-in-out,box-shadow .15s ease-in-out;
}
input[type=text]:not(.session-name-input) {
  -webkit-transition: all 0.30s ease-in-out;
  -moz-transition: all 0.30s ease-in-out;
  -ms-transition: all 0.30s ease-in-out;
  -o-transition: all 0.30s ease-in-out;
  outline: none;
  font-size: 14px;
  padding: 3px 0px 3px 3px;
  margin: 5px 1px 3px 0px;
  border: 1px solid #DDDDDD;
}
.table-header { font-size: 14px; }
.right-pane-header { display: block; font-size: 22px; padding-top: 4px; padding-bottom: 12px; }
.right-pane-header div { display: inline-block; }
.right-pane-header-right { float: right; }
input[type=text]:not(.session-name-input):focus, textarea:focus {
  box-shadow: 0 0 5px rgba(81, 203, 238, 1);
  padding: 3px 0px 3px 3px;
  margin: 5px 1px 3px 0px;
  border: 1px solid rgba(81, 203, 238, 1);
}
.model-tab-wrapper { display: block; }
.model-tab-wrapper-left, .model-tab-wrapper-right { display: inline-block; }
.model-tab-wrapper-left { width: 100%; }
.model-tab-wrapper-right { float: right; position: relative; top: 0px; left: -4px; }
.ui-tooltip {
  white-space: pre-line;
}
.ui-tooltip-content {
  font-size:14px;
}
.add-model { cursor: pointer; }
.model-tab { margin: auto; padding: 16px 0px 16px 16px; background-color: #ffffff; border: 1px solid #ffffff; }
.model-tab:hover { cursor: pointer; border: 1px solid #dddddd !important; }
.active-model-tab { border: 1px solid #dddddd; }
.copy-link-div { float: right; margin: 8px; }
.copy-link-div img, .right-pane-header-right img { margin-left: 12px; cursor: pointer; }
.below-inputs-div { padding: 8px 0px 8px 20px; }
.main-error-wrapper { padding: 16px; }
.error-pre { padding: 8px; background-color: #e9e9e9; border: 1px solid #aaaaaa; width:100%; word-wrap:break-word; white-space: break-spaces; }
.below-inputs-div .add-row { cursor: pointer; }
.left-pane { position:relative; min-height: 100%; vertical-align: top; display: inline-block; width: 75%; margin: 16px; padding: 16px; border: 1px solid #dddddd; border-radius: 2px; }
.right-pane { min-height: 100%; vertical-align: top; display: inline-block; width: calc(25% - 54px); margin: 16px 16px 16px 0px; padding: 16px; border: 1px solid #dddddd; border-radius: 2px; }
.left-pane-header { border-bottom: 1px solid #dddddd; display: inline-block; width: 100%; }
.ui-tabs .ui-tabs-nav li { margin: 0px !important; }
#load-session, #new-session { padding: 12px 10px 12px 10px !important; }
.help-img { position: relative; top: 2px; }
* { box-sizing: border-box !important; }
.nonrepeating.disabled { cursor: not-allowed; }
.inputs-table { margin: auto; width: 100%; }
input::-webkit-input-placeholder { color: #cccccc; }
input::-moz-placeholder { color: #cccccc; }
input:-ms-input-placeholder { color: #cccccc; }
input:-moz-placeholder { color: #cccccc; }
#loading {
  position: fixed;
  top: 0px;
  left: 0px;
  width: 100%; 
  height: calc(100% - 24px); 
  z-index: 99999;
  opacity: 0.4;
  display: none;
}
.name-td { width: 25%; padding-right: 32px; }
.name-td input { width: 100%; }
.dimensions-td { width: 25%; padding-right: 32px;  }
.dimensions-td input { width: 100%; }
.nonrepeating-td { text-align: center; width:25%; }
.nonrepeating-td input { width: 16px; height: 16px; cursor: pointer; }
.remove-td { text-align:center; width:25%; }
.inputs-container { padding: 0px 16px 0px 16px; margin-top: 16px !important; }

/* ── Pi term cells and name subscript ─────────────────────────────────────── */
.result-cell {
  display: inline-flex;
  flex-direction: column;
  align-items: flex-start;
  padding: 6px 32px 6px 0;
  margin-right: 0;
}
.result-cell:last-child {
  padding-right: 0;
}
.pi-expr {
  display: block;
  font-size: 22px;
}
.pi-name {
  font-size: 12px;
  color: #555;
  font-family: Helvetica, sans-serif;
  margin-top: 4px;
  padding-left: 2px;
  font-style: italic;
  min-height: 16px;
}
.pi-name-empty {
  visibility: hidden;
}

/* ── Result cards ─────────────────────────────────────────────────────────── */
.result-card {
  border: 1px solid #e0e0e0;
  border-radius: 8px;
  padding: 14px 18px 14px 18px;
  margin-top: 16px;
  background: #f9f9f9;
}
.result-card-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  margin-bottom: 10px;
  border-bottom: 1px solid #eeeeee;
  padding-bottom: 8px;
}
.result-set-number {
  font-size: 15px;
  font-weight: bold;
  color: #444;
}
.result-card-actions {
  display: flex;
  gap: 6px;
}
.result-action-btn {
  display: inline-flex;
  align-items: center;
  gap: 4px;
  padding: 4px 10px;
  font-size: 12px;
  font-family: Helvetica, sans-serif;
  color: #555;
  background: #f5f5f5;
  border: 1px solid #ddd;
  border-radius: 6px;
  cursor: pointer;
  transition: background 0.15s, border-color 0.15s;
  user-select: none;
}
.result-action-btn:hover {
  background: #eaeaea;
  border-color: #bbb;
  color: #222;
}
.result-action-btn.copied {
  color: #2a7a2a;
  background: #eaf5ea;
  border-color: #8fcc8f;
}