11cb0ef41Sopenharmony_ci/* CSS specific to the live ranges div associated with
21cb0ef41Sopenharmony_ci   the RangeView typescript class in src/range-view.ts. */
31cb0ef41Sopenharmony_ci
41cb0ef41Sopenharmony_ci:root {
51cb0ef41Sopenharmony_ci  --range-y-axis-width: 18ch;
61cb0ef41Sopenharmony_ci  --range-position-width: 3.5ch;
71cb0ef41Sopenharmony_ci  --range-block-border: 6px;
81cb0ef41Sopenharmony_ci  --range-instr-border: 3px;
91cb0ef41Sopenharmony_ci  --range-position-border: 1px;
101cb0ef41Sopenharmony_ci}
111cb0ef41Sopenharmony_ci
121cb0ef41Sopenharmony_ci.range-bold {
131cb0ef41Sopenharmony_ci  font-weight: bold;
141cb0ef41Sopenharmony_ci  color: black;
151cb0ef41Sopenharmony_ci}
161cb0ef41Sopenharmony_ci
171cb0ef41Sopenharmony_ci#ranges {
181cb0ef41Sopenharmony_ci  font-family: monospace;
191cb0ef41Sopenharmony_ci  min-height: auto;
201cb0ef41Sopenharmony_ci  overflow: hidden;
211cb0ef41Sopenharmony_ci}
221cb0ef41Sopenharmony_ci
231cb0ef41Sopenharmony_ci#resizer-ranges {
241cb0ef41Sopenharmony_ci  height: 10px;
251cb0ef41Sopenharmony_ci}
261cb0ef41Sopenharmony_ci
271cb0ef41Sopenharmony_ci.range-title-div {
281cb0ef41Sopenharmony_ci  padding: 2ch 2ch 2ch 2ch;
291cb0ef41Sopenharmony_ci  white-space: nowrap;
301cb0ef41Sopenharmony_ci  overflow: auto;
311cb0ef41Sopenharmony_ci}
321cb0ef41Sopenharmony_ci
331cb0ef41Sopenharmony_ci.range-title {
341cb0ef41Sopenharmony_ci  text-decoration: underline;
351cb0ef41Sopenharmony_ci  font-weight: bold;
361cb0ef41Sopenharmony_ci  font-size: large;
371cb0ef41Sopenharmony_ci  display: inline-block;
381cb0ef41Sopenharmony_ci}
391cb0ef41Sopenharmony_ci
401cb0ef41Sopenharmony_ci.range-title-help {
411cb0ef41Sopenharmony_ci  margin-left: 2ch;
421cb0ef41Sopenharmony_ci  width: 1ch;
431cb0ef41Sopenharmony_ci  padding: 0 0.25ch;
441cb0ef41Sopenharmony_ci  border: 1px dotted black;
451cb0ef41Sopenharmony_ci  color: slategray;
461cb0ef41Sopenharmony_ci  display: inline-block;
471cb0ef41Sopenharmony_ci}
481cb0ef41Sopenharmony_ci
491cb0ef41Sopenharmony_ciinput.range-toggle-show {
501cb0ef41Sopenharmony_ci  vertical-align: middle;
511cb0ef41Sopenharmony_ci}
521cb0ef41Sopenharmony_ci
531cb0ef41Sopenharmony_ci.range-header-label-x {
541cb0ef41Sopenharmony_ci  text-align: center;
551cb0ef41Sopenharmony_ci  margin-left: 13ch;
561cb0ef41Sopenharmony_ci}
571cb0ef41Sopenharmony_ci
581cb0ef41Sopenharmony_ci.range-header-label-y {
591cb0ef41Sopenharmony_ci  width: 11ch;
601cb0ef41Sopenharmony_ci  float: left;
611cb0ef41Sopenharmony_ci  white-space: pre-wrap;
621cb0ef41Sopenharmony_ci  word-wrap: break-word;
631cb0ef41Sopenharmony_ci  margin-left: 6ch;
641cb0ef41Sopenharmony_ci  margin-top: 4ch;
651cb0ef41Sopenharmony_ci}
661cb0ef41Sopenharmony_ci
671cb0ef41Sopenharmony_ci.range-y-axis {
681cb0ef41Sopenharmony_ci  display: inline-block;
691cb0ef41Sopenharmony_ci  width: var(--range-y-axis-width);
701cb0ef41Sopenharmony_ci  overflow: hidden;
711cb0ef41Sopenharmony_ci  white-space: nowrap;
721cb0ef41Sopenharmony_ci  vertical-align: top;
731cb0ef41Sopenharmony_ci}
741cb0ef41Sopenharmony_ci
751cb0ef41Sopenharmony_ci.range-header {
761cb0ef41Sopenharmony_ci  display: flex;
771cb0ef41Sopenharmony_ci  overflow: hidden;
781cb0ef41Sopenharmony_ci  height: 8ch;
791cb0ef41Sopenharmony_ci  margin-left: var(--range-y-axis-width);
801cb0ef41Sopenharmony_ci}
811cb0ef41Sopenharmony_ci
821cb0ef41Sopenharmony_ci.range-position-labels,
831cb0ef41Sopenharmony_ci.range-register-labels {
841cb0ef41Sopenharmony_ci  background-color: lightgray;
851cb0ef41Sopenharmony_ci}
861cb0ef41Sopenharmony_ci
871cb0ef41Sopenharmony_ci.range-register-labels {
881cb0ef41Sopenharmony_ci  float: right;
891cb0ef41Sopenharmony_ci}
901cb0ef41Sopenharmony_ci
911cb0ef41Sopenharmony_ci.range-position-labels {
921cb0ef41Sopenharmony_ci  margin-top: auto;
931cb0ef41Sopenharmony_ci}
941cb0ef41Sopenharmony_ci
951cb0ef41Sopenharmony_ci.range-registers {
961cb0ef41Sopenharmony_ci  float: right;
971cb0ef41Sopenharmony_ci  overflow: hidden;
981cb0ef41Sopenharmony_ci  text-align: right;
991cb0ef41Sopenharmony_ci}
1001cb0ef41Sopenharmony_ci
1011cb0ef41Sopenharmony_ci.range-positions-header,
1021cb0ef41Sopenharmony_ci.range-instruction-ids,
1031cb0ef41Sopenharmony_ci.range-block-ids {
1041cb0ef41Sopenharmony_ci  overflow: hidden;
1051cb0ef41Sopenharmony_ci  white-space: nowrap;
1061cb0ef41Sopenharmony_ci  display: grid;
1071cb0ef41Sopenharmony_ci  grid-gap: 0;
1081cb0ef41Sopenharmony_ci}
1091cb0ef41Sopenharmony_ci
1101cb0ef41Sopenharmony_ci.range-reg {
1111cb0ef41Sopenharmony_ci  width: 13ch;
1121cb0ef41Sopenharmony_ci  text-align: right;
1131cb0ef41Sopenharmony_ci}
1141cb0ef41Sopenharmony_ci
1151cb0ef41Sopenharmony_ci.range-reg::after {
1161cb0ef41Sopenharmony_ci  content: ":";
1171cb0ef41Sopenharmony_ci}
1181cb0ef41Sopenharmony_ci
1191cb0ef41Sopenharmony_ci.range-grid {
1201cb0ef41Sopenharmony_ci  overflow: auto;
1211cb0ef41Sopenharmony_ci  display: inline-block;
1221cb0ef41Sopenharmony_ci  white-space: nowrap;
1231cb0ef41Sopenharmony_ci}
1241cb0ef41Sopenharmony_ci
1251cb0ef41Sopenharmony_ci.range-block-id {
1261cb0ef41Sopenharmony_ci  display: inline-block;
1271cb0ef41Sopenharmony_ci  text-align: center;
1281cb0ef41Sopenharmony_ci}
1291cb0ef41Sopenharmony_ci
1301cb0ef41Sopenharmony_ci.range-instruction-id {
1311cb0ef41Sopenharmony_ci  display: inline-block;
1321cb0ef41Sopenharmony_ci  text-align: center;
1331cb0ef41Sopenharmony_ci}
1341cb0ef41Sopenharmony_ci
1351cb0ef41Sopenharmony_ci.range-position {
1361cb0ef41Sopenharmony_ci  display: inline-block;
1371cb0ef41Sopenharmony_ci  text-align: center;
1381cb0ef41Sopenharmony_ci  z-index: 1;
1391cb0ef41Sopenharmony_ci}
1401cb0ef41Sopenharmony_ci
1411cb0ef41Sopenharmony_ci.range-transparent,
1421cb0ef41Sopenharmony_ci.range-position.range-empty {
1431cb0ef41Sopenharmony_ci  color: transparent;
1441cb0ef41Sopenharmony_ci}
1451cb0ef41Sopenharmony_ci
1461cb0ef41Sopenharmony_ci.range-block-id:hover,
1471cb0ef41Sopenharmony_ci.range-instruction-id:hover,
1481cb0ef41Sopenharmony_ci.range-reg:hover,
1491cb0ef41Sopenharmony_ci.range-position:hover {
1501cb0ef41Sopenharmony_ci  background-color: rgba(0, 0, 255, 0.10);
1511cb0ef41Sopenharmony_ci}
1521cb0ef41Sopenharmony_ci
1531cb0ef41Sopenharmony_ci.range-position.range-header-element {
1541cb0ef41Sopenharmony_ci  border-bottom: 2px solid rgb(109, 107, 107);
1551cb0ef41Sopenharmony_ci}
1561cb0ef41Sopenharmony_ci
1571cb0ef41Sopenharmony_ci.range-block-id,
1581cb0ef41Sopenharmony_ci.range-instruction-id,
1591cb0ef41Sopenharmony_ci.range-reg,
1601cb0ef41Sopenharmony_ci.range-interval,
1611cb0ef41Sopenharmony_ci.range-position {
1621cb0ef41Sopenharmony_ci  position: relative;
1631cb0ef41Sopenharmony_ci  border: var(--range-position-border) solid rgb(109, 107, 107);
1641cb0ef41Sopenharmony_ci}
1651cb0ef41Sopenharmony_ci
1661cb0ef41Sopenharmony_ci.range-block-id,
1671cb0ef41Sopenharmony_ci.range-instruction-id,
1681cb0ef41Sopenharmony_ci.range-interval,
1691cb0ef41Sopenharmony_ci.range-position {
1701cb0ef41Sopenharmony_ci  border-left: 0;
1711cb0ef41Sopenharmony_ci}
1721cb0ef41Sopenharmony_ci
1731cb0ef41Sopenharmony_ci.range-block-ids > .range-block-id:first-child,
1741cb0ef41Sopenharmony_ci.range-instruction-ids > .range-instruction-id:first-child,
1751cb0ef41Sopenharmony_ci.range-positions > .range-position:first-child {
1761cb0ef41Sopenharmony_ci  border-left: var(--range-position-border) solid rgb(109, 107, 107);
1771cb0ef41Sopenharmony_ci}
1781cb0ef41Sopenharmony_ci
1791cb0ef41Sopenharmony_ci.range-position.range-interval-position {
1801cb0ef41Sopenharmony_ci  border: none;
1811cb0ef41Sopenharmony_ci}
1821cb0ef41Sopenharmony_ci
1831cb0ef41Sopenharmony_ci.range-interval-text {
1841cb0ef41Sopenharmony_ci  position: absolute;
1851cb0ef41Sopenharmony_ci  padding-left: 0.5ch;
1861cb0ef41Sopenharmony_ci  z-index: 2;
1871cb0ef41Sopenharmony_ci  pointer-events: none
1881cb0ef41Sopenharmony_ci}
1891cb0ef41Sopenharmony_ci
1901cb0ef41Sopenharmony_ci.range-position.range-use {
1911cb0ef41Sopenharmony_ci  border-left: var(--range-instr-border) solid red;
1921cb0ef41Sopenharmony_ci}
1931cb0ef41Sopenharmony_ci
1941cb0ef41Sopenharmony_ci.range-block-border,
1951cb0ef41Sopenharmony_ci.range-block-border.range-position.range-interval-position:last-child {
1961cb0ef41Sopenharmony_ci  border-right: var(--range-block-border) solid rgb(109, 107, 107);
1971cb0ef41Sopenharmony_ci}
1981cb0ef41Sopenharmony_ci
1991cb0ef41Sopenharmony_ci.range-block-border.range-position.range-interval-position {
2001cb0ef41Sopenharmony_ci  border-right: var(--range-block-border) solid transparent;
2011cb0ef41Sopenharmony_ci}
2021cb0ef41Sopenharmony_ci
2031cb0ef41Sopenharmony_ci.range-instr-border,
2041cb0ef41Sopenharmony_ci.range-instr-border.range-position.range-interval-position:last-child {
2051cb0ef41Sopenharmony_ci  border-right: var(--range-instr-border) solid rgb(109, 107, 107);
2061cb0ef41Sopenharmony_ci}
2071cb0ef41Sopenharmony_ci
2081cb0ef41Sopenharmony_ci.range-instr-border.range-position.range-interval-position {
2091cb0ef41Sopenharmony_ci  border-right: var(--range-instr-border) solid transparent;
2101cb0ef41Sopenharmony_ci}
2111cb0ef41Sopenharmony_ci
2121cb0ef41Sopenharmony_ci.range,
2131cb0ef41Sopenharmony_ci.range-interval,
2141cb0ef41Sopenharmony_ci.range-interval-wrapper,
2151cb0ef41Sopenharmony_ci.range-positions {
2161cb0ef41Sopenharmony_ci  white-space: nowrap;
2171cb0ef41Sopenharmony_ci  display: inline-block;
2181cb0ef41Sopenharmony_ci}
2191cb0ef41Sopenharmony_ci
2201cb0ef41Sopenharmony_ci.range-interval-wrapper,
2211cb0ef41Sopenharmony_ci.range-positions {
2221cb0ef41Sopenharmony_ci  display: grid;
2231cb0ef41Sopenharmony_ci  grid-gap: 0;
2241cb0ef41Sopenharmony_ci}
2251cb0ef41Sopenharmony_ci
2261cb0ef41Sopenharmony_ci.range-interval {
2271cb0ef41Sopenharmony_ci  background-color: rgb(153, 158, 168);
2281cb0ef41Sopenharmony_ci}
2291cb0ef41Sopenharmony_ci
2301cb0ef41Sopenharmony_ci.range-hidden {
2311cb0ef41Sopenharmony_ci  display: none !important;
2321cb0ef41Sopenharmony_ci}
2331cb0ef41Sopenharmony_ci
2341cb0ef41Sopenharmony_ci.range-positions-placeholder {
2351cb0ef41Sopenharmony_ci  width: 100%;
2361cb0ef41Sopenharmony_ci  border: var(--range-position-border) solid transparent;
2371cb0ef41Sopenharmony_ci  color: transparent;
2381cb0ef41Sopenharmony_ci}