/* BoardUI Button, ButtonGroup and LinkButton: static adapter of installed
 * free source. Semantic theme variables are generated in boardui-tokens.css.
 * Font size is increased for Chinese teaching; native interactions stay intact.
 */
html body.boardui-v13 .board-button {
  display:inline-flex;align-items:center;justify-content:center;gap:4px;
  box-sizing:border-box;white-space:nowrap;vertical-align:middle;
  min-height:36px!important;padding:7px 12px!important;border-radius:10px!important;
  border:1px solid var(--color-border-button-default)!important;
  background:var(--color-background-primary-default)!important;
  color:var(--color-text-primary)!important;
  font-family:var(--course-font)!important;font-size:16px!important;font-weight:500!important;
  line-height:20px!important;letter-spacing:0!important;text-decoration:none!important;
  box-shadow:0 1px 2px rgb(0 0 0 / .05)!important;
  cursor:pointer;user-select:none;isolation:isolate;
  scale:1!important;translate:0 0!important;transform:none!important;
  transition:background-color 150ms ease,border-color 150ms ease,box-shadow 150ms ease,color 150ms ease!important;
}
html body.boardui-v13 .board-button:hover:not(:disabled):not([aria-disabled="true"]) {
  background:var(--color-background-primary-hover)!important;border-color:var(--color-border-button-hover)!important;
}
html body.boardui-v13 .board-button:active:not(:disabled):not([aria-disabled="true"]) {
  background:var(--color-background-primary-active)!important;border-color:var(--color-border-button-active)!important;
}
html body.boardui-v13 .board-button:focus-visible {
  outline:2px solid var(--color-border-focus-ring)!important;outline-offset:3px!important;
}
html body.boardui-v13 .board-primary {
  position:relative;overflow:hidden;background:var(--gradient-button-primary-default)!important;
  color:var(--color-text-white)!important;border-color:transparent!important;
  box-shadow:0 1px 2px rgb(0 0 0 / .1),inset 0 1px 0 rgb(255 255 255 / .16)!important;
}
html body.boardui-v13 .board-primary::before {
  content:"";position:absolute;inset:0;z-index:-1;pointer-events:none;
  border-radius:inherit;background:var(--gradient-button-primary-hover);opacity:0;transition:opacity 150ms ease;
}
html body.boardui-v13 .board-primary:hover:not(:disabled):not([aria-disabled="true"]) {background:var(--gradient-button-primary-default)!important;border-color:transparent!important}
html body.boardui-v13 .board-primary:hover:not(:disabled):not([aria-disabled="true"])::before {opacity:1}
html body.boardui-v13 .board-primary:active:not(:disabled):not([aria-disabled="true"]) {background:var(--gradient-button-primary-active)!important}
html body.boardui-v13 .board-primary:active::before {opacity:0}
html body.boardui-v13 #run-experiment.board-primary {background:var(--gradient-button-primary-default)!important;border-color:transparent!important;color:var(--color-text-white)!important}
html body.boardui-v13 #run-experiment.board-primary:active {background:var(--gradient-button-primary-active)!important}
html body.boardui-v13 .board-link {background:transparent!important;color:var(--color-button-ghost-foreground)!important;border-color:transparent!important;box-shadow:none!important}
html body.boardui-v13 .board-link:hover:not(:disabled) {background:var(--color-button-ghost-background)!important;border-color:transparent!important}
html body.boardui-v13 .board-link:active:not(:disabled) {background:var(--color-button-ghost-active)!important}
html body.boardui-v13 .board-button:is(:disabled,[aria-disabled="true"]) {
  background:var(--color-background-primary-disabled)!important;color:var(--color-text-tertiary)!important;
  border-color:var(--color-border-button-default)!important;box-shadow:none!important;cursor:not-allowed;opacity:1!important;
}
html body.boardui-v13 .board-button:is(:disabled,[aria-disabled="true"])::before {display:none}
html body.boardui-v13 .board-small {min-height:32px!important;padding:5px 10px!important;border-radius:8px!important;font-size:15px!important}
html body.boardui-v13 .board-large {min-height:46px!important;padding:11px 20px!important;font-size:18px!important;border-radius:10px!important}
html body.boardui-v13 .board-button-group {
  display:inline-flex;align-items:stretch;isolation:isolate;gap:0!important;padding:0!important;
  border:1px solid var(--color-border-button-default)!important;border-radius:10px!important;
  background:var(--color-background-primary-default)!important;box-shadow:0 1px 2px rgb(0 0 0 / .05)!important;
}
html body.boardui-v13 .board-group-item {border:0!important;border-radius:0!important;box-shadow:none!important;min-height:32px!important;padding:5px 12px!important}
html body.boardui-v13 .board-group-item:first-child {border-radius:9px 0 0 9px!important}
html body.boardui-v13 .board-group-item:last-child {border-radius:0 9px 9px 0!important}
html body.boardui-v13 .board-group-item+.board-group-item {border-left:1px solid var(--color-border-button-default)!important}
html body.boardui-v13 .board-group-item:is([aria-selected="true"],[aria-pressed="true"],[aria-current],.active) {
  background:var(--color-button-ghost-background)!important;color:var(--color-button-ghost-foreground)!important;
}
html body.boardui-v13 .board-group-item:focus-visible {outline-offset:-3px!important;position:relative;z-index:1}
html body.boardui-v13 .board-button[hidden] {display:none!important}
html body.boardui-v13 .lab-taskbar {max-width:100%;width:max-content}
html body.boardui-v13 .pi-tabs {display:flex}
html body.boardui-v13 .pi-tabs .board-group-item {flex:1;padding:4px 8px!important}
html body.boardui-v13 .lab-statusline .board-button {min-height:24px!important;padding:0 6px!important;font-size:14px!important}
html body.boardui-v13 .mission-view-actions {gap:8px}
html body.boardui-v13 .mission-parts {gap:8px}
html body.boardui-v13.source-frequency main {grid-template-rows:34px 144px 74px 52px minmax(0,1fr)!important}
html body.boardui-v13.source-frequency .presets .board-button {min-height:32px!important;padding:5px 10px!important;font-size:15px!important}
html body.boardui-v13.source-frequency .plots>.card {grid-template-rows:34px minmax(0,1fr) 22px!important}
html body.boardui-v13.source-frequency .plots>.card:nth-child(2) {grid-template-rows:34px minmax(0,1fr)!important}
html body.boardui-v13.source-frequency .plots>.card:last-child {grid-template-rows:34px minmax(0,1fr) 20px 22px!important}
html body.boardui-v13.source-frequency .plots .board-button {min-height:32px!important;padding:5px 8px!important;font-size:14px!important}
@media(max-width:700px){
  html body.boardui-v13 .board-large {min-height:38px!important;padding:8px 12px!important;font-size:15px!important}
  html body.boardui-v13 .mission-parts .board-button,html body.boardui-v13 .mission-view-actions .board-button {min-height:30px!important;padding:4px 8px!important;font-size:13px!important}
  html body.boardui-v13 .mission-nav .board-button {min-height:30px!important;padding:4px 7px!important;font-size:14px!important}
  html body.boardui-v13 .source-examples {flex-wrap:wrap}
}
@media(prefers-reduced-motion:reduce){html body.boardui-v13 .board-button,html body.boardui-v13 .board-primary::before{transition:none!important}}