11cb0ef41Sopenharmony_ci.visible-transition {
21cb0ef41Sopenharmony_ci  transition-delay: 0s;
31cb0ef41Sopenharmony_ci  transition-duration: 1s;
41cb0ef41Sopenharmony_ci  transition-property: all;
51cb0ef41Sopenharmony_ci  transition-timing-function: ease;
61cb0ef41Sopenharmony_ci}
71cb0ef41Sopenharmony_ci
81cb0ef41Sopenharmony_ci.show-hide-pane {
91cb0ef41Sopenharmony_ci  background: #A0A0A0;
101cb0ef41Sopenharmony_ci  bottom: 0;
111cb0ef41Sopenharmony_ci  position: absolute;
121cb0ef41Sopenharmony_ci  margin-bottom: 0.5em;
131cb0ef41Sopenharmony_ci  margin-right: 0.5em;
141cb0ef41Sopenharmony_ci  margin-left: 0.5em;
151cb0ef41Sopenharmony_ci  border-radius: 5px;
161cb0ef41Sopenharmony_ci  padding: 0.5em;
171cb0ef41Sopenharmony_ci  z-index: 20;
181cb0ef41Sopenharmony_ci  opacity: 0.7;
191cb0ef41Sopenharmony_ci  cursor: pointer;
201cb0ef41Sopenharmony_ci}
211cb0ef41Sopenharmony_ci
221cb0ef41Sopenharmony_ci.search-input {
231cb0ef41Sopenharmony_ci  vertical-align: middle;
241cb0ef41Sopenharmony_ci  width: 145px;
251cb0ef41Sopenharmony_ci  opacity: 1;
261cb0ef41Sopenharmony_ci  box-sizing: border-box;
271cb0ef41Sopenharmony_ci  height: 1.5em;
281cb0ef41Sopenharmony_ci}
291cb0ef41Sopenharmony_ci
301cb0ef41Sopenharmony_ci#phase-select {
311cb0ef41Sopenharmony_ci  box-sizing: border-box;
321cb0ef41Sopenharmony_ci  height: 1.5em;
331cb0ef41Sopenharmony_ci}
341cb0ef41Sopenharmony_ci
351cb0ef41Sopenharmony_ci#search-only-visible {
361cb0ef41Sopenharmony_ci  vertical-align: middle;
371cb0ef41Sopenharmony_ci}
381cb0ef41Sopenharmony_ci
391cb0ef41Sopenharmony_ci.button-input {
401cb0ef41Sopenharmony_ci  vertical-align: middle;
411cb0ef41Sopenharmony_ci  width: 24px;
421cb0ef41Sopenharmony_ci  opacity: 0.4;
431cb0ef41Sopenharmony_ci  cursor: pointer;
441cb0ef41Sopenharmony_ci}
451cb0ef41Sopenharmony_ci
461cb0ef41Sopenharmony_ci.button-input-toggled {
471cb0ef41Sopenharmony_ci  border-radius: 5px;
481cb0ef41Sopenharmony_ci  background-color: #505050;
491cb0ef41Sopenharmony_ci}
501cb0ef41Sopenharmony_ci
511cb0ef41Sopenharmony_ci.button-input:focus {
521cb0ef41Sopenharmony_ci  outline: none;
531cb0ef41Sopenharmony_ci}
541cb0ef41Sopenharmony_ci
551cb0ef41Sopenharmony_ci.invisible {
561cb0ef41Sopenharmony_ci  display: none;
571cb0ef41Sopenharmony_ci}
581cb0ef41Sopenharmony_ci
591cb0ef41Sopenharmony_ci.selected {
601cb0ef41Sopenharmony_ci  background-color: #FFFF33;
611cb0ef41Sopenharmony_ci}
621cb0ef41Sopenharmony_ci
631cb0ef41Sopenharmony_ci.selected.block,
641cb0ef41Sopenharmony_ci.selected.block-id,
651cb0ef41Sopenharmony_ci.selected.schedule-block {
661cb0ef41Sopenharmony_ci  background-color: #AAFFAA;
671cb0ef41Sopenharmony_ci}
681cb0ef41Sopenharmony_ci
691cb0ef41Sopenharmony_ciol.linenums {
701cb0ef41Sopenharmony_ci  -webkit-padding-start: 8px;
711cb0ef41Sopenharmony_ci}
721cb0ef41Sopenharmony_ci
731cb0ef41Sopenharmony_ci.line-number {
741cb0ef41Sopenharmony_ci  display: inline-block;
751cb0ef41Sopenharmony_ci  min-width: 3ex;
761cb0ef41Sopenharmony_ci  text-align: right;
771cb0ef41Sopenharmony_ci  color: #444444;
781cb0ef41Sopenharmony_ci  margin-right: 0.5ex;
791cb0ef41Sopenharmony_ci  padding-right: 0.5ex;
801cb0ef41Sopenharmony_ci  background: #EEEEEE;
811cb0ef41Sopenharmony_ci  /* font-size: 80%; */
821cb0ef41Sopenharmony_ci  user-select: none;
831cb0ef41Sopenharmony_ci  height: 120%;
841cb0ef41Sopenharmony_ci}
851cb0ef41Sopenharmony_ci
861cb0ef41Sopenharmony_ci.line-number:hover {
871cb0ef41Sopenharmony_ci  background-color: #CCCCCC;
881cb0ef41Sopenharmony_ci}
891cb0ef41Sopenharmony_ci
901cb0ef41Sopenharmony_ci.prettyprint ol.linenums>li.selected {
911cb0ef41Sopenharmony_ci  background-color: #FFFF33 !important;
921cb0ef41Sopenharmony_ci}
931cb0ef41Sopenharmony_ci
941cb0ef41Sopenharmony_cili.selected .line-number {
951cb0ef41Sopenharmony_ci  background-color: #FFFF33;
961cb0ef41Sopenharmony_ci}
971cb0ef41Sopenharmony_ci
981cb0ef41Sopenharmony_ci.prettyprint ol.linenums>li {
991cb0ef41Sopenharmony_ci  list-style-type: decimal;
1001cb0ef41Sopenharmony_ci  display: block;
1011cb0ef41Sopenharmony_ci}
1021cb0ef41Sopenharmony_ci
1031cb0ef41Sopenharmony_ci.source-container {
1041cb0ef41Sopenharmony_ci  border-bottom: 2px solid #AAAAAA;
1051cb0ef41Sopenharmony_ci}
1061cb0ef41Sopenharmony_ci
1071cb0ef41Sopenharmony_ci.code-header {
1081cb0ef41Sopenharmony_ci  background-color: #CCCCCC;
1091cb0ef41Sopenharmony_ci  padding-left: 1em;
1101cb0ef41Sopenharmony_ci  padding-right: 1em;
1111cb0ef41Sopenharmony_ci  padding-top: 1ex;
1121cb0ef41Sopenharmony_ci  padding-bottom: 1ex;
1131cb0ef41Sopenharmony_ci  font-family: monospace;
1141cb0ef41Sopenharmony_ci  user-select: none;
1151cb0ef41Sopenharmony_ci}
1161cb0ef41Sopenharmony_ci
1171cb0ef41Sopenharmony_ci.main-source .code-header {
1181cb0ef41Sopenharmony_ci  border-top: 2px solid #AAAAAA;
1191cb0ef41Sopenharmony_ci  font-weight: bold;
1201cb0ef41Sopenharmony_ci}
1211cb0ef41Sopenharmony_ci
1221cb0ef41Sopenharmony_ci.code-header .code-file-function {
1231cb0ef41Sopenharmony_ci  font-family: monospace;
1241cb0ef41Sopenharmony_ci  float: left;
1251cb0ef41Sopenharmony_ci  user-select: text;
1261cb0ef41Sopenharmony_ci}
1271cb0ef41Sopenharmony_ci
1281cb0ef41Sopenharmony_ci.code-header .code-mode {
1291cb0ef41Sopenharmony_ci  float: right;
1301cb0ef41Sopenharmony_ci  font-family: sans-serif;
1311cb0ef41Sopenharmony_ci  font-size: small;
1321cb0ef41Sopenharmony_ci}
1331cb0ef41Sopenharmony_ci
1341cb0ef41Sopenharmony_ci.info-container {
1351cb0ef41Sopenharmony_ci  font-family: sans-serif;
1361cb0ef41Sopenharmony_ci  font-size: small;
1371cb0ef41Sopenharmony_ci}
1381cb0ef41Sopenharmony_ci
1391cb0ef41Sopenharmony_ci.info-topic {
1401cb0ef41Sopenharmony_ci  border: 1px solid lightgray;
1411cb0ef41Sopenharmony_ci  margin: 2px;
1421cb0ef41Sopenharmony_ci}
1431cb0ef41Sopenharmony_ci
1441cb0ef41Sopenharmony_ci.info-topic-header {
1451cb0ef41Sopenharmony_ci  background-color: lightgray;
1461cb0ef41Sopenharmony_ci  padding: 1px;
1471cb0ef41Sopenharmony_ci}
1481cb0ef41Sopenharmony_ci
1491cb0ef41Sopenharmony_ci.info-topic-content {
1501cb0ef41Sopenharmony_ci  padding: 2px;
1511cb0ef41Sopenharmony_ci}
1521cb0ef41Sopenharmony_ci
1531cb0ef41Sopenharmony_ci
1541cb0ef41Sopenharmony_cihtml,
1551cb0ef41Sopenharmony_cibody {
1561cb0ef41Sopenharmony_ci  margin: 0;
1571cb0ef41Sopenharmony_ci  padding: 0;
1581cb0ef41Sopenharmony_ci  overflow: hidden;
1591cb0ef41Sopenharmony_ci  display: flex;
1601cb0ef41Sopenharmony_ci  flex-direction: row;
1611cb0ef41Sopenharmony_ci  width: 100vw;
1621cb0ef41Sopenharmony_ci}
1631cb0ef41Sopenharmony_ci
1641cb0ef41Sopenharmony_cip {
1651cb0ef41Sopenharmony_ci  text-align: center;
1661cb0ef41Sopenharmony_ci  overflow: overlay;
1671cb0ef41Sopenharmony_ci  position: relative;
1681cb0ef41Sopenharmony_ci}
1691cb0ef41Sopenharmony_ci
1701cb0ef41Sopenharmony_cimarker {
1711cb0ef41Sopenharmony_ci  fill: #080808;
1721cb0ef41Sopenharmony_ci}
1731cb0ef41Sopenharmony_ci
1741cb0ef41Sopenharmony_cig rect {
1751cb0ef41Sopenharmony_ci  fill: #F0F0F0;
1761cb0ef41Sopenharmony_ci  stroke: #080808;
1771cb0ef41Sopenharmony_ci  stroke-width: 2px;
1781cb0ef41Sopenharmony_ci}
1791cb0ef41Sopenharmony_ci
1801cb0ef41Sopenharmony_cig.dead {
1811cb0ef41Sopenharmony_ci  opacity: .5;
1821cb0ef41Sopenharmony_ci}
1831cb0ef41Sopenharmony_ci
1841cb0ef41Sopenharmony_cig.unsorted rect {
1851cb0ef41Sopenharmony_ci  opacity: 0.5;
1861cb0ef41Sopenharmony_ci}
1871cb0ef41Sopenharmony_ci
1881cb0ef41Sopenharmony_cidiv.scrollable {
1891cb0ef41Sopenharmony_ci  overflow-y: auto;
1901cb0ef41Sopenharmony_ci  overflow-x: hidden;
1911cb0ef41Sopenharmony_ci}
1921cb0ef41Sopenharmony_ci
1931cb0ef41Sopenharmony_cig.turbonode[relToHover="input"] rect {
1941cb0ef41Sopenharmony_ci  stroke: #67e62c;
1951cb0ef41Sopenharmony_ci  stroke-width: 16px;
1961cb0ef41Sopenharmony_ci}
1971cb0ef41Sopenharmony_ci
1981cb0ef41Sopenharmony_cig.turbonode[relToHover="output"] rect {
1991cb0ef41Sopenharmony_ci  stroke: #d23b14;
2001cb0ef41Sopenharmony_ci  stroke-width: 16px;
2011cb0ef41Sopenharmony_ci}
2021cb0ef41Sopenharmony_ci
2031cb0ef41Sopenharmony_cipath[relToHover="input"] {
2041cb0ef41Sopenharmony_ci  stroke: #67e62c;
2051cb0ef41Sopenharmony_ci  stroke-width: 16px;
2061cb0ef41Sopenharmony_ci}
2071cb0ef41Sopenharmony_ci
2081cb0ef41Sopenharmony_cipath[relToHover="output"] {
2091cb0ef41Sopenharmony_ci  stroke: #d23b14;
2101cb0ef41Sopenharmony_ci  stroke-width: 16px;
2111cb0ef41Sopenharmony_ci}
2121cb0ef41Sopenharmony_ci
2131cb0ef41Sopenharmony_ci
2141cb0ef41Sopenharmony_cig.turbonode:hover rect {
2151cb0ef41Sopenharmony_ci  stroke: #000000;
2161cb0ef41Sopenharmony_ci  stroke-width: 7px;
2171cb0ef41Sopenharmony_ci}
2181cb0ef41Sopenharmony_ci
2191cb0ef41Sopenharmony_cig.control rect {
2201cb0ef41Sopenharmony_ci  fill: #EFCC00;
2211cb0ef41Sopenharmony_ci  stroke: #080808;
2221cb0ef41Sopenharmony_ci  stroke-width: 5px;
2231cb0ef41Sopenharmony_ci}
2241cb0ef41Sopenharmony_ci
2251cb0ef41Sopenharmony_cig.javascript rect {
2261cb0ef41Sopenharmony_ci  fill: #DD7E6B;
2271cb0ef41Sopenharmony_ci}
2281cb0ef41Sopenharmony_ci
2291cb0ef41Sopenharmony_cig.simplified rect {
2301cb0ef41Sopenharmony_ci  fill: #3C78D8;
2311cb0ef41Sopenharmony_ci}
2321cb0ef41Sopenharmony_ci
2331cb0ef41Sopenharmony_cig.machine rect {
2341cb0ef41Sopenharmony_ci  fill: #6AA84F;
2351cb0ef41Sopenharmony_ci}
2361cb0ef41Sopenharmony_ci
2371cb0ef41Sopenharmony_cig.input rect {
2381cb0ef41Sopenharmony_ci  fill: #CFE2F3;
2391cb0ef41Sopenharmony_ci}
2401cb0ef41Sopenharmony_ci
2411cb0ef41Sopenharmony_cig.selected rect {
2421cb0ef41Sopenharmony_ci  fill: #FFFF33;
2431cb0ef41Sopenharmony_ci}
2441cb0ef41Sopenharmony_ci
2451cb0ef41Sopenharmony_cicircle.bubbleStyle {
2461cb0ef41Sopenharmony_ci  fill: #080808;
2471cb0ef41Sopenharmony_ci  fill-opacity: 0.0;
2481cb0ef41Sopenharmony_ci  stroke: #080808;
2491cb0ef41Sopenharmony_ci  stroke-width: 2px;
2501cb0ef41Sopenharmony_ci}
2511cb0ef41Sopenharmony_ci
2521cb0ef41Sopenharmony_cicircle.bubbleStyle:hover {
2531cb0ef41Sopenharmony_ci  stroke-width: 3px;
2541cb0ef41Sopenharmony_ci}
2551cb0ef41Sopenharmony_ci
2561cb0ef41Sopenharmony_cicircle.filledBubbleStyle {
2571cb0ef41Sopenharmony_ci  fill: #080808;
2581cb0ef41Sopenharmony_ci  stroke: #080808;
2591cb0ef41Sopenharmony_ci  stroke-width: 2px;
2601cb0ef41Sopenharmony_ci}
2611cb0ef41Sopenharmony_ci
2621cb0ef41Sopenharmony_cicircle.filledBubbleStyle:hover {
2631cb0ef41Sopenharmony_ci  fill: #080808;
2641cb0ef41Sopenharmony_ci  stroke-width: 3px;
2651cb0ef41Sopenharmony_ci}
2661cb0ef41Sopenharmony_ci
2671cb0ef41Sopenharmony_cicircle.halfFilledBubbleStyle {
2681cb0ef41Sopenharmony_ci  fill: #808080;
2691cb0ef41Sopenharmony_ci  stroke: #101010;
2701cb0ef41Sopenharmony_ci  stroke-width: 2px;
2711cb0ef41Sopenharmony_ci}
2721cb0ef41Sopenharmony_ci
2731cb0ef41Sopenharmony_cicircle.halfFilledBubbleStyle:hover {
2741cb0ef41Sopenharmony_ci  fill: #808080;
2751cb0ef41Sopenharmony_ci  stroke-width: 3px;
2761cb0ef41Sopenharmony_ci}
2771cb0ef41Sopenharmony_ci
2781cb0ef41Sopenharmony_cipath {
2791cb0ef41Sopenharmony_ci  fill: none;
2801cb0ef41Sopenharmony_ci  stroke: #080808;
2811cb0ef41Sopenharmony_ci  stroke-width: 4px;
2821cb0ef41Sopenharmony_ci  cursor: default;
2831cb0ef41Sopenharmony_ci}
2841cb0ef41Sopenharmony_ci
2851cb0ef41Sopenharmony_cipath:hover {
2861cb0ef41Sopenharmony_ci  stroke-width: 6px;
2871cb0ef41Sopenharmony_ci}
2881cb0ef41Sopenharmony_ci
2891cb0ef41Sopenharmony_cipath.hidden {
2901cb0ef41Sopenharmony_ci  fill: none;
2911cb0ef41Sopenharmony_ci  stroke-width: 0;
2921cb0ef41Sopenharmony_ci}
2931cb0ef41Sopenharmony_ci
2941cb0ef41Sopenharmony_cipath.link.selected {
2951cb0ef41Sopenharmony_ci  stroke: #FFFF33;
2961cb0ef41Sopenharmony_ci}
2971cb0ef41Sopenharmony_ci
2981cb0ef41Sopenharmony_cipre.prettyprint {
2991cb0ef41Sopenharmony_ci  border: none !important;
3001cb0ef41Sopenharmony_ci  padding: 0px;
3011cb0ef41Sopenharmony_ci}
3021cb0ef41Sopenharmony_ci
3031cb0ef41Sopenharmony_cili.L1,
3041cb0ef41Sopenharmony_cili.L3,
3051cb0ef41Sopenharmony_cili.L5,
3061cb0ef41Sopenharmony_cili.L7,
3071cb0ef41Sopenharmony_cili.L9 {
3081cb0ef41Sopenharmony_ci  background: none !important
3091cb0ef41Sopenharmony_ci}
3101cb0ef41Sopenharmony_ci
3111cb0ef41Sopenharmony_cili.nolinenums {
3121cb0ef41Sopenharmony_ci  list-style-type: none;
3131cb0ef41Sopenharmony_ci}
3141cb0ef41Sopenharmony_ci
3151cb0ef41Sopenharmony_ciul.noindent {
3161cb0ef41Sopenharmony_ci  -webkit-padding-start: 0px;
3171cb0ef41Sopenharmony_ci  -webkit-margin-before: 0px;
3181cb0ef41Sopenharmony_ci  -webkit-margin-after: 0px;
3191cb0ef41Sopenharmony_ci}
3201cb0ef41Sopenharmony_ci
3211cb0ef41Sopenharmony_ciinput:hover,
3221cb0ef41Sopenharmony_ci.show-hide-pane:hover input {
3231cb0ef41Sopenharmony_ci  opacity: 1;
3241cb0ef41Sopenharmony_ci  cursor: pointer;
3251cb0ef41Sopenharmony_ci}
3261cb0ef41Sopenharmony_ci
3271cb0ef41Sopenharmony_ci.linkable-text {
3281cb0ef41Sopenharmony_ci  text-decoration: underline;
3291cb0ef41Sopenharmony_ci}
3301cb0ef41Sopenharmony_ci
3311cb0ef41Sopenharmony_ci.linkable-text:hover {
3321cb0ef41Sopenharmony_ci  cursor: pointer;
3331cb0ef41Sopenharmony_ci  font-weight: bold;
3341cb0ef41Sopenharmony_ci}
3351cb0ef41Sopenharmony_ci
3361cb0ef41Sopenharmony_ci
3371cb0ef41Sopenharmony_ci#left {
3381cb0ef41Sopenharmony_ci  user-select: none;
3391cb0ef41Sopenharmony_ci}
3401cb0ef41Sopenharmony_ci
3411cb0ef41Sopenharmony_ci#middle {
3421cb0ef41Sopenharmony_ci  background-color: #F8F8F8;
3431cb0ef41Sopenharmony_ci  user-select: none;
3441cb0ef41Sopenharmony_ci  flex: 1;
3451cb0ef41Sopenharmony_ci  z-index: 7;
3461cb0ef41Sopenharmony_ci}
3471cb0ef41Sopenharmony_ci
3481cb0ef41Sopenharmony_ci#middle.display-inline-flex,
3491cb0ef41Sopenharmony_ci#middle.display-inline-flex #multiview,
3501cb0ef41Sopenharmony_ci#middle.display-inline-flex #ranges {
3511cb0ef41Sopenharmony_ci  display: inline-flex;
3521cb0ef41Sopenharmony_ci}
3531cb0ef41Sopenharmony_ci
3541cb0ef41Sopenharmony_ci.viewpane {
3551cb0ef41Sopenharmony_ci  height: 100vh;
3561cb0ef41Sopenharmony_ci  background-color: #FFFFFF;
3571cb0ef41Sopenharmony_ci  display: flex;
3581cb0ef41Sopenharmony_ci  flex-direction: column;
3591cb0ef41Sopenharmony_ci}
3601cb0ef41Sopenharmony_ci
3611cb0ef41Sopenharmony_ci#show-hide-disassembly {
3621cb0ef41Sopenharmony_ci  right: 0;
3631cb0ef41Sopenharmony_ci}
3641cb0ef41Sopenharmony_ci
3651cb0ef41Sopenharmony_ci#show-hide-source {
3661cb0ef41Sopenharmony_ci  left: 0;
3671cb0ef41Sopenharmony_ci}
3681cb0ef41Sopenharmony_ci
3691cb0ef41Sopenharmony_ci#graph {
3701cb0ef41Sopenharmony_ci  width: 100%;
3711cb0ef41Sopenharmony_ci  height: 100%;
3721cb0ef41Sopenharmony_ci}
3731cb0ef41Sopenharmony_ci
3741cb0ef41Sopenharmony_ci.graph-toolbox {
3751cb0ef41Sopenharmony_ci  position: relative;
3761cb0ef41Sopenharmony_ci  border-bottom: 2px solid #eee8d5;
3771cb0ef41Sopenharmony_ci  z-index: 5;
3781cb0ef41Sopenharmony_ci  background: rgba(100%, 100%, 100%);
3791cb0ef41Sopenharmony_ci  box-sizing: border-box;
3801cb0ef41Sopenharmony_ci  padding: 3px;
3811cb0ef41Sopenharmony_ci  overflow-x: hidden;
3821cb0ef41Sopenharmony_ci}
3831cb0ef41Sopenharmony_ci
3841cb0ef41Sopenharmony_ci.disassembly-toolbox {
3851cb0ef41Sopenharmony_ci  position: relative;
3861cb0ef41Sopenharmony_ci  padding-bottom: 3px;
3871cb0ef41Sopenharmony_ci  z-index: 5;
3881cb0ef41Sopenharmony_ci  background: rgba(100%, 100%, 100%, 0.7);
3891cb0ef41Sopenharmony_ci  padding-top: 3px;
3901cb0ef41Sopenharmony_ci  box-sizing: border-box;
3911cb0ef41Sopenharmony_ci  margin-left: 4px;
3921cb0ef41Sopenharmony_ci  margin-right: 4px;
3931cb0ef41Sopenharmony_ci}
3941cb0ef41Sopenharmony_ci
3951cb0ef41Sopenharmony_ci#load-file {
3961cb0ef41Sopenharmony_ci  position: absolute;
3971cb0ef41Sopenharmony_ci  top: 0;
3981cb0ef41Sopenharmony_ci  right: 0;
3991cb0ef41Sopenharmony_ci  margin-top: 0.5em;
4001cb0ef41Sopenharmony_ci  margin-right: 0.5em;
4011cb0ef41Sopenharmony_ci  z-index: 20;
4021cb0ef41Sopenharmony_ci  opacity: 0.7;
4031cb0ef41Sopenharmony_ci}
4041cb0ef41Sopenharmony_ci
4051cb0ef41Sopenharmony_ci#load-file input {
4061cb0ef41Sopenharmony_ci  background: #A0A0A0;
4071cb0ef41Sopenharmony_ci  border-radius: 5px;
4081cb0ef41Sopenharmony_ci  padding: 0.5em;
4091cb0ef41Sopenharmony_ci}
4101cb0ef41Sopenharmony_ci
4111cb0ef41Sopenharmony_ci#upload-helper {
4121cb0ef41Sopenharmony_ci  display: none;
4131cb0ef41Sopenharmony_ci}
4141cb0ef41Sopenharmony_ci
4151cb0ef41Sopenharmony_ci.prof {
4161cb0ef41Sopenharmony_ci  cursor: default;
4171cb0ef41Sopenharmony_ci}
4181cb0ef41Sopenharmony_ci
4191cb0ef41Sopenharmony_citspan {
4201cb0ef41Sopenharmony_ci  font-size: 500%;
4211cb0ef41Sopenharmony_ci  font-family: sans-serif;
4221cb0ef41Sopenharmony_ci}
4231cb0ef41Sopenharmony_ci
4241cb0ef41Sopenharmony_citext {
4251cb0ef41Sopenharmony_ci  dominant-baseline: text-before-edge;
4261cb0ef41Sopenharmony_ci}
4271cb0ef41Sopenharmony_ci
4281cb0ef41Sopenharmony_ci.tab-content {
4291cb0ef41Sopenharmony_ci  z-index: 6;
4301cb0ef41Sopenharmony_ci}
4311cb0ef41Sopenharmony_ci
4321cb0ef41Sopenharmony_ci.resizer {
4331cb0ef41Sopenharmony_ci  z-index: 10;
4341cb0ef41Sopenharmony_ci  width: 10px;
4351cb0ef41Sopenharmony_ci  height: 100vh;
4361cb0ef41Sopenharmony_ci  background: #a0a0a0;
4371cb0ef41Sopenharmony_ci  cursor: pointer;
4381cb0ef41Sopenharmony_ci}
4391cb0ef41Sopenharmony_ci
4401cb0ef41Sopenharmony_ci.resizer:hover,
4411cb0ef41Sopenharmony_ci.resizer.dragged {
4421cb0ef41Sopenharmony_ci  background: orange;
4431cb0ef41Sopenharmony_ci}
4441cb0ef41Sopenharmony_ci
4451cb0ef41Sopenharmony_ci.source-position {
4461cb0ef41Sopenharmony_ci  /* border-left: 1px solid #FF3333; */
4471cb0ef41Sopenharmony_ci  width: 0;
4481cb0ef41Sopenharmony_ci  display: inline-block;
4491cb0ef41Sopenharmony_ci}
4501cb0ef41Sopenharmony_ci
4511cb0ef41Sopenharmony_ci.source-position .inlining-marker {
4521cb0ef41Sopenharmony_ci  content: "";
4531cb0ef41Sopenharmony_ci  position: relative;
4541cb0ef41Sopenharmony_ci  display: inline-block;
4551cb0ef41Sopenharmony_ci  top: -0.5ex;
4561cb0ef41Sopenharmony_ci  margin-left: -4px;
4571cb0ef41Sopenharmony_ci  margin-right: -4px;
4581cb0ef41Sopenharmony_ci  border-width: 5px;
4591cb0ef41Sopenharmony_ci  border-style: solid;
4601cb0ef41Sopenharmony_ci  border-color: #555 transparent transparent transparent;
4611cb0ef41Sopenharmony_ci}
4621cb0ef41Sopenharmony_ci
4631cb0ef41Sopenharmony_ci.source-position .marker {
4641cb0ef41Sopenharmony_ci  content: "";
4651cb0ef41Sopenharmony_ci  display: inline-block;
4661cb0ef41Sopenharmony_ci  bottom: -1ex;
4671cb0ef41Sopenharmony_ci  width: 0px;
4681cb0ef41Sopenharmony_ci  margin-left: -4px;
4691cb0ef41Sopenharmony_ci  margin-right: -4px;
4701cb0ef41Sopenharmony_ci  margin-bottom: -1ex;
4711cb0ef41Sopenharmony_ci  border-width: 5px;
4721cb0ef41Sopenharmony_ci  border-style: solid;
4731cb0ef41Sopenharmony_ci  border-color: transparent transparent #555 transparent;
4741cb0ef41Sopenharmony_ci}
4751cb0ef41Sopenharmony_ci
4761cb0ef41Sopenharmony_ci.source-position.selected .marker {
4771cb0ef41Sopenharmony_ci  border-color: transparent transparent #F00 transparent;
4781cb0ef41Sopenharmony_ci}
4791cb0ef41Sopenharmony_ci
4801cb0ef41Sopenharmony_ci.source-position .inlining-marker:hover {
4811cb0ef41Sopenharmony_ci  border-color: transparent transparent #AA5 transparent;
4821cb0ef41Sopenharmony_ci}
4831cb0ef41Sopenharmony_ci
4841cb0ef41Sopenharmony_ci.source-position .inlining-marker[data-descr]:hover::after {
4851cb0ef41Sopenharmony_ci  content: attr(data-descr);
4861cb0ef41Sopenharmony_ci  position: absolute;
4871cb0ef41Sopenharmony_ci  font-size: 10px;
4881cb0ef41Sopenharmony_ci  z-index: 1;
4891cb0ef41Sopenharmony_ci  background-color: #555;
4901cb0ef41Sopenharmony_ci  color: #fff;
4911cb0ef41Sopenharmony_ci  text-align: center;
4921cb0ef41Sopenharmony_ci  border-radius: 6px;
4931cb0ef41Sopenharmony_ci  padding: 6px;
4941cb0ef41Sopenharmony_ci  top: 6px;
4951cb0ef41Sopenharmony_ci  left: 50%;
4961cb0ef41Sopenharmony_ci  margin-left: -80px;
4971cb0ef41Sopenharmony_ci}
4981cb0ef41Sopenharmony_ci
4991cb0ef41Sopenharmony_ci#sequence {
5001cb0ef41Sopenharmony_ci  font-family: monospace;
5011cb0ef41Sopenharmony_ci}
5021cb0ef41Sopenharmony_ci
5031cb0ef41Sopenharmony_ci#schedule {
5041cb0ef41Sopenharmony_ci  font-family: monospace;
5051cb0ef41Sopenharmony_ci}
5061cb0ef41Sopenharmony_ci
5071cb0ef41Sopenharmony_ci.schedule-block {
5081cb0ef41Sopenharmony_ci  margin: 5px;
5091cb0ef41Sopenharmony_ci  background-color: white;
5101cb0ef41Sopenharmony_ci  padding-left: 5px;
5111cb0ef41Sopenharmony_ci}
5121cb0ef41Sopenharmony_ci
5131cb0ef41Sopenharmony_ci.schedule-block .block-id {
5141cb0ef41Sopenharmony_ci  display: inline-block;
5151cb0ef41Sopenharmony_ci  font-size: large;
5161cb0ef41Sopenharmony_ci  text-decoration: underline;
5171cb0ef41Sopenharmony_ci  padding-left: 1ex;
5181cb0ef41Sopenharmony_ci}
5191cb0ef41Sopenharmony_ci
5201cb0ef41Sopenharmony_ci.schedule-block .block-id:hover {
5211cb0ef41Sopenharmony_ci  font-weight: bold;
5221cb0ef41Sopenharmony_ci}
5231cb0ef41Sopenharmony_ci
5241cb0ef41Sopenharmony_ci.schedule-block>.block-id::before {
5251cb0ef41Sopenharmony_ci  content: "Block B";
5261cb0ef41Sopenharmony_ci}
5271cb0ef41Sopenharmony_ci
5281cb0ef41Sopenharmony_ci.schedule-block.deferred>.block-id::after {
5291cb0ef41Sopenharmony_ci  content: " (deferred)";
5301cb0ef41Sopenharmony_ci}
5311cb0ef41Sopenharmony_ci
5321cb0ef41Sopenharmony_ci.schedule-block .block-list {
5331cb0ef41Sopenharmony_ci  display: inline-block;
5341cb0ef41Sopenharmony_ci}
5351cb0ef41Sopenharmony_ci
5361cb0ef41Sopenharmony_ci.schedule-block .block-list * {
5371cb0ef41Sopenharmony_ci  display: inline-block;
5381cb0ef41Sopenharmony_ci}
5391cb0ef41Sopenharmony_ci
5401cb0ef41Sopenharmony_ci.schedule-block .block-list .block-id {
5411cb0ef41Sopenharmony_ci  padding-left: 1ex;
5421cb0ef41Sopenharmony_ci}
5431cb0ef41Sopenharmony_ci
5441cb0ef41Sopenharmony_ci.schedule-block .block-list .block-id:before {
5451cb0ef41Sopenharmony_ci  content: "B";
5461cb0ef41Sopenharmony_ci}
5471cb0ef41Sopenharmony_ci
5481cb0ef41Sopenharmony_ci.schedule-block .predecessor-list::before {
5491cb0ef41Sopenharmony_ci  display: inline-block;
5501cb0ef41Sopenharmony_ci  content: "  \2B05  ";
5511cb0ef41Sopenharmony_ci  padding-left: 1ex;
5521cb0ef41Sopenharmony_ci  padding-right: 1ex;
5531cb0ef41Sopenharmony_ci}
5541cb0ef41Sopenharmony_ci
5551cb0ef41Sopenharmony_ci.schedule-block .successor-list::before {
5561cb0ef41Sopenharmony_ci  display: inline-block;
5571cb0ef41Sopenharmony_ci  content: "  \2B95  ";
5581cb0ef41Sopenharmony_ci  padding-left: 1ex;
5591cb0ef41Sopenharmony_ci  padding-right: 1ex;
5601cb0ef41Sopenharmony_ci}
5611cb0ef41Sopenharmony_ci
5621cb0ef41Sopenharmony_ci.schedule-block .nodes .node * {
5631cb0ef41Sopenharmony_ci  display: inline-block;
5641cb0ef41Sopenharmony_ci}
5651cb0ef41Sopenharmony_ci
5661cb0ef41Sopenharmony_ci.schedule-block .nodes .node .node-id {
5671cb0ef41Sopenharmony_ci  padding-right: 1ex;
5681cb0ef41Sopenharmony_ci  min-width: 5ex;
5691cb0ef41Sopenharmony_ci  text-align: right;
5701cb0ef41Sopenharmony_ci}
5711cb0ef41Sopenharmony_ci
5721cb0ef41Sopenharmony_ci.schedule-block .nodes .node .node-id:after {
5731cb0ef41Sopenharmony_ci  content: ":";
5741cb0ef41Sopenharmony_ci}
5751cb0ef41Sopenharmony_ci
5761cb0ef41Sopenharmony_ci.schedule-block .nodes .node .node-label {
5771cb0ef41Sopenharmony_ci  user-select: text;
5781cb0ef41Sopenharmony_ci}
5791cb0ef41Sopenharmony_ci
5801cb0ef41Sopenharmony_ci.schedule-block .nodes .node .parameter-list:before {
5811cb0ef41Sopenharmony_ci  content: "(";
5821cb0ef41Sopenharmony_ci}
5831cb0ef41Sopenharmony_ci
5841cb0ef41Sopenharmony_ci.schedule-block .nodes .node .parameter-list:after {
5851cb0ef41Sopenharmony_ci  content: ")";
5861cb0ef41Sopenharmony_ci}
5871cb0ef41Sopenharmony_ci
5881cb0ef41Sopenharmony_ci.schedule-block .instr-marker {
5891cb0ef41Sopenharmony_ci  padding-right: .5ex;
5901cb0ef41Sopenharmony_ci  padding-left: .5ex;
5911cb0ef41Sopenharmony_ci  min-width: 1em;
5921cb0ef41Sopenharmony_ci  background: #EEEEEE;
5931cb0ef41Sopenharmony_ci  /* display: none; */
5941cb0ef41Sopenharmony_ci}
5951cb0ef41Sopenharmony_ci
5961cb0ef41Sopenharmony_ci.schedule-block>.instr-marker {
5971cb0ef41Sopenharmony_ci  display: inline;
5981cb0ef41Sopenharmony_ci}
5991cb0ef41Sopenharmony_ci
6001cb0ef41Sopenharmony_ci.instruction * {
6011cb0ef41Sopenharmony_ci  padding-right: .5ex;
6021cb0ef41Sopenharmony_ci}
6031cb0ef41Sopenharmony_ci
6041cb0ef41Sopenharmony_ci.instruction span {
6051cb0ef41Sopenharmony_ci  padding-right: 0;
6061cb0ef41Sopenharmony_ci}
6071cb0ef41Sopenharmony_ci
6081cb0ef41Sopenharmony_ci.phi-label,
6091cb0ef41Sopenharmony_ci.instruction-id {
6101cb0ef41Sopenharmony_ci  display: inline-block;
6111cb0ef41Sopenharmony_ci  padding-right: .5ex;
6121cb0ef41Sopenharmony_ci  padding-left: .5ex;
6131cb0ef41Sopenharmony_ci  min-width: 1ex;
6141cb0ef41Sopenharmony_ci  vertical-align: top;
6151cb0ef41Sopenharmony_ci}
6161cb0ef41Sopenharmony_ci
6171cb0ef41Sopenharmony_ci.instruction-id:after {
6181cb0ef41Sopenharmony_ci  content: ":";
6191cb0ef41Sopenharmony_ci}
6201cb0ef41Sopenharmony_ci
6211cb0ef41Sopenharmony_ci.instruction-node,
6221cb0ef41Sopenharmony_ci.gap,
6231cb0ef41Sopenharmony_ci.instruction {
6241cb0ef41Sopenharmony_ci  display: block;
6251cb0ef41Sopenharmony_ci}
6261cb0ef41Sopenharmony_ci
6271cb0ef41Sopenharmony_ci.phi-contents,
6281cb0ef41Sopenharmony_ci.instruction-contents,
6291cb0ef41Sopenharmony_ci.gap *,
6301cb0ef41Sopenharmony_ci.instruction * {
6311cb0ef41Sopenharmony_ci  display: inline-block;
6321cb0ef41Sopenharmony_ci}
6331cb0ef41Sopenharmony_ci
6341cb0ef41Sopenharmony_ci.phi * {
6351cb0ef41Sopenharmony_ci  padding-right: 1ex;
6361cb0ef41Sopenharmony_ci  display: inline-block;
6371cb0ef41Sopenharmony_ci}
6381cb0ef41Sopenharmony_ci
6391cb0ef41Sopenharmony_ci.phi span {
6401cb0ef41Sopenharmony_ci  padding-right: 0;
6411cb0ef41Sopenharmony_ci}
6421cb0ef41Sopenharmony_ci
6431cb0ef41Sopenharmony_ci.gap .gap-move {
6441cb0ef41Sopenharmony_ci  padding-left: .5ex;
6451cb0ef41Sopenharmony_ci  padding-right: .5ex;
6461cb0ef41Sopenharmony_ci}
6471cb0ef41Sopenharmony_ci
6481cb0ef41Sopenharmony_ci.gap>*:before {
6491cb0ef41Sopenharmony_ci  content: "(";
6501cb0ef41Sopenharmony_ci}
6511cb0ef41Sopenharmony_ci
6521cb0ef41Sopenharmony_ci.gap>*:after {
6531cb0ef41Sopenharmony_ci  content: ")";
6541cb0ef41Sopenharmony_ci}
6551cb0ef41Sopenharmony_ci
6561cb0ef41Sopenharmony_ci.virtual-reg {
6571cb0ef41Sopenharmony_ci  outline: 1px dotted blue;
6581cb0ef41Sopenharmony_ci}
6591cb0ef41Sopenharmony_ci
6601cb0ef41Sopenharmony_ci.parameter.constant {
6611cb0ef41Sopenharmony_ci  outline: 1px dotted red;
6621cb0ef41Sopenharmony_ci}
6631cb0ef41Sopenharmony_ci
6641cb0ef41Sopenharmony_ci.clickable:hover {
6651cb0ef41Sopenharmony_ci  text-decoration: underline;
6661cb0ef41Sopenharmony_ci}
6671cb0ef41Sopenharmony_ci
6681cb0ef41Sopenharmony_ci.clickable:hover {
6691cb0ef41Sopenharmony_ci  font-weight: bold;
6701cb0ef41Sopenharmony_ci}
6711cb0ef41Sopenharmony_ci
6721cb0ef41Sopenharmony_ci.comma-sep-list>* {
6731cb0ef41Sopenharmony_ci  padding-right: 1ex;
6741cb0ef41Sopenharmony_ci}
6751cb0ef41Sopenharmony_ci
6761cb0ef41Sopenharmony_ci.comma-sep-list>*:after {
6771cb0ef41Sopenharmony_ci  content: ",";
6781cb0ef41Sopenharmony_ci}
6791cb0ef41Sopenharmony_ci
6801cb0ef41Sopenharmony_ci.comma-sep-list>*:last-child:after {
6811cb0ef41Sopenharmony_ci  content: "";
6821cb0ef41Sopenharmony_ci}
6831cb0ef41Sopenharmony_ci
6841cb0ef41Sopenharmony_ci.comma-sep-list>*:last-child {
6851cb0ef41Sopenharmony_ci  padding-right: 0ex;
6861cb0ef41Sopenharmony_ci}
6871cb0ef41Sopenharmony_ci
6881cb0ef41Sopenharmony_ci.temps:before {
6891cb0ef41Sopenharmony_ci  content: "temps: ";
6901cb0ef41Sopenharmony_ci}
6911cb0ef41Sopenharmony_ci
6921cb0ef41Sopenharmony_ci.temps {
6931cb0ef41Sopenharmony_ci  padding-left: .5ex;
6941cb0ef41Sopenharmony_ci  outline: 1px dotted grey;
6951cb0ef41Sopenharmony_ci}
6961cb0ef41Sopenharmony_ci
6971cb0ef41Sopenharmony_ci.last-tab {
6981cb0ef41Sopenharmony_ci  display: none !important;
6991cb0ef41Sopenharmony_ci}
7001cb0ef41Sopenharmony_ci
7011cb0ef41Sopenharmony_ciul.disassembly-list .block-id {
7021cb0ef41Sopenharmony_ci  width: 4ex;
7031cb0ef41Sopenharmony_ci  display: block;
7041cb0ef41Sopenharmony_ci  padding-top: 2px;
7051cb0ef41Sopenharmony_ci}
7061cb0ef41Sopenharmony_ci
7071cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="gap"]+span+span {
7081cb0ef41Sopenharmony_ci  background-color: #FAEEEE;
7091cb0ef41Sopenharmony_ci}
7101cb0ef41Sopenharmony_ci
7111cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="arch"]+span+span {
7121cb0ef41Sopenharmony_ci  background-color: #EEFFEE;
7131cb0ef41Sopenharmony_ci}
7141cb0ef41Sopenharmony_ci
7151cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="condition"]+span+span {
7161cb0ef41Sopenharmony_ci  background-color: #FFFFEE;
7171cb0ef41Sopenharmony_ci}
7181cb0ef41Sopenharmony_ci
7191cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="gap"] {
7201cb0ef41Sopenharmony_ci  background-color: #FAEEEE;
7211cb0ef41Sopenharmony_ci}
7221cb0ef41Sopenharmony_ci
7231cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="arch"] {
7241cb0ef41Sopenharmony_ci  background-color: #EEFFEE;
7251cb0ef41Sopenharmony_ci}
7261cb0ef41Sopenharmony_ci
7271cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="condition"] {
7281cb0ef41Sopenharmony_ci  background-color: #FFFFEE;
7291cb0ef41Sopenharmony_ci}
7301cb0ef41Sopenharmony_ci
7311cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="deopt-check"] {
7321cb0ef41Sopenharmony_ci  background-color: #FAEEFA;
7331cb0ef41Sopenharmony_ci}
7341cb0ef41Sopenharmony_ci
7351cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="init-poison"] {
7361cb0ef41Sopenharmony_ci  background-color: #EEFFAA;
7371cb0ef41Sopenharmony_ci}
7381cb0ef41Sopenharmony_ci
7391cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="pools"] {
7401cb0ef41Sopenharmony_ci  background-color: #6AA84F;
7411cb0ef41Sopenharmony_ci}
7421cb0ef41Sopenharmony_ci
7431cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="code-start-register"] {
7441cb0ef41Sopenharmony_ci  background-color: #FFCCCC;
7451cb0ef41Sopenharmony_ci}
7461cb0ef41Sopenharmony_ci
7471cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind="deoptimization-exits"] {
7481cb0ef41Sopenharmony_ci  background-color: #CCCCFF;
7491cb0ef41Sopenharmony_ci}
7501cb0ef41Sopenharmony_ci
7511cb0ef41Sopenharmony_ci[data-instruction-kind].selected {
7521cb0ef41Sopenharmony_ci  background-color: yellow;
7531cb0ef41Sopenharmony_ci}
7541cb0ef41Sopenharmony_ci
7551cb0ef41Sopenharmony_cidiv.highlight-gap-instructions [data-instruction-kind].selected {
7561cb0ef41Sopenharmony_ci  background-color: yellow;
7571cb0ef41Sopenharmony_ci}
758