Template:Mixup/style.css

Template page
/**
 * Classes for displaying the payoffs and nash equilibria of a mixup
 *
 * HTML is generated with [[Module:Mixup]]
 */
 
.mixup {
  margin: 0.5rem -0.5rem;
  border-style: solid;
  border-width: 1px 1px 3px 1px;
}

.mixup-header {
  margin: 0.5rem;
}

.mixup-header a.external {
  padding: 0;
  background: none;
}

.mixup-header sup {
  line-height: 1;
}

.mixup .mw-collapsible-toggle,
.mixup.mw-collapsible::before {
  margin: 0.2rem 0.5rem;
}

.mixup-descr,
.mixup-body {
  margin: 0.5rem;
}

.mixup-descr > :first-child {
  margin-top: 0;
}

.mw-collapsed .mixup-descr,
.mw-collapsed .mixup-descr > * {
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

.mw-collapsed .mixup-descr > :not(:first-child) {
  display: none;
}

.mixup-body {
  border-top-width: 1px;
  border-top-style: solid;
  margin-bottom: 0.8rem;
}

.payoffs {
  max-height: calc(100vh - 120px);
  overflow: auto;
  margin-top: 0.5rem;
}

.payoffs table {
  display: table;
  border-collapse: collapse;
  text-align: center;
  margin: 0 auto;
}

.payoffs table td,
.payoffs table th {
  min-width: 3em;
  padding: 0 0.5rem;
}

.payoffs th:first-of-type {
  position: sticky;
  left: 0;
}

.payoffs th:first-of-type .border-hack.right {
  position: absolute;
  content: "";
  height: 100%;
  right: 0;
  top: 0;
  border-right-width: 1px;
  border-right-style: solid;
}

.payoffs tr:first-of-type th {
  position: sticky;
  top: 0;
}

.payoffs tr:first-of-type .border-hack.bottom {
  position: absolute;
  content: "";
  width: 100%;
  left: 0;
  bottom: 0;
  border-bottom-width: 1px;
  border-bottom-style: solid;
}

.payoffs tr:first-of-type th:first-of-type {
  z-index: 1;
}

.profile {
  text-align: center;
}

.profile p {
  margin-top: 0.7rem;
  font-weight: 600;
}

.strategy-pair {
  display: flex;
  flex-flow: row wrap;
  gap: 0.5rem 1rem;
  justify-content: center;
}

.strategy {
  display: flex;
  flex-flow: row wrap;
  gap: 0 0.5rem;
  margin: 0;
  text-align: center;
  justify-content: center;
}

.strategy:empty {
  display: none;
}

.strategy dd {
  margin: 0;
  min-width: 3em;
}