disbrowser/src/main/resources/public/style.css

table {
    border-spacing: 0;
    font-family: monospace;
    white-space: pre
}

td {
    padding-right: 12px;
}

.code-opcode {
    width: 200px
}

tr:nth-child(2n) {
    background-color: #eee
}

tr {
    transition: background-color 1000ms 1500ms;
}

tr.line-active {
    background-color: yellow !important;
    transition: none;
}

.arrow {
    width: 10px;
    position: relative;
    padding-right: 0;
}

.arrow::before {
    content: "";
    display: block;
    position: absolute;
    top: 0;
    bottom: 0;
    right: 2px;
    width: 2px;
    background: blue;
}

.arrow-up-start::after,
.arrow-up-end::after,
.arrow-down-start::after,
.arrow-down-end::after {
    content: "";
    background: blue;
    height: 2px;
    left: 25%;
    right: 2px;
    top: 50%;
    margin: -1px 0;
    position: absolute;
}

.arrow-down-end::before,
.arrow-up-end::before {
    bottom: 50%;
    margin-bottom: -1px;

}

.arrow-down-start::before,
.arrow-up-start::before {
    top: 50%;
    margin-top: -1px;
}

.arrow-head {
    position: absolute;
    left: 0;
    top: 50%;
    width: 0;
    height: 0;
    border: 5px solid transparent;
    border-right-color: blue;
    margin: -5px;
}

.arrow-link {
    width: 6px;
    height: 6px;
    background-color: blue;
    display: inline-block;
    border-radius: 100px;
    z-index: 1;
    position: relative;
}

.routine-end > td {
    border-bottom: 1px solid black;
}

.field-editable {
    font-family: monospace;
    border: none;
    background: none;
    padding: 0;
}

.field-comment {
    width: 500px;
}

.opcode-info {
    text-decoration: green underline dotted;
}

.field-editable-popup-icon {
    cursor: pointer;
    text-align: center;
    padding: 0 5px;
    opacity: 0;
}


.field-editable-popup-icon:hover,
.field-editable-popup:hover > .field-editable-popup-icon {
    opacity: 1;
}

.field-editable-popup-icon:hover {
    font-weight: bold;
}

.field-editable-popup-icon::before {
    content: "[e]"
}

[row-certainty="0"], [row-certainty="1"], [row-certainty="2"], [row-certainty="3"], [row-certainty="4"],
[row-certainty="5"], [row-certainty="6"], [row-certainty="7"], [row-certainty="8"], [row-certainty="9"] {
    color: rgb(200, 200, 200);
}

[row-certainty="10"], [row-certainty="11"], [row-certainty="12"], [row-certainty="13"], [row-certainty="14"],
[row-certainty="15"], [row-certainty="16"], [row-certainty="17"], [row-certainty="18"], [row-certainty="19"] {
    color: rgb(180, 180, 180);
}

[row-certainty="20"], [row-certainty="21"], [row-certainty="22"], [row-certainty="23"], [row-certainty="24"],
[row-certainty="25"], [row-certainty="26"], [row-certainty="27"], [row-certainty="28"], [row-certainty="29"] {
    color: rgb(160, 160, 160);
}

[row-certainty="30"], [row-certainty="31"], [row-certainty="32"], [row-certainty="33"], [row-certainty="34"],
[row-certainty="35"], [row-certainty="36"], [row-certainty="37"], [row-certainty="38"], [row-certainty="39"] {
    color: rgb(140, 140, 140);
}

[row-certainty="40"], [row-certainty="41"], [row-certainty="42"], [row-certainty="43"], [row-certainty="44"],
[row-certainty="45"], [row-certainty="46"], [row-certainty="47"], [row-certainty="48"], [row-certainty="49"] {
    color: rgb(120, 120, 120);
}

[row-certainty="50"], [row-certainty="51"], [row-certainty="52"], [row-certainty="53"], [row-certainty="54"],
[row-certainty="55"], [row-certainty="56"], [row-certainty="57"], [row-certainty="58"], [row-certainty="59"] {
    color: rgb(100, 100, 100);
}

[row-certainty="60"], [row-certainty="61"], [row-certainty="62"], [row-certainty="63"], [row-certainty="64"],
[row-certainty="65"], [row-certainty="66"], [row-certainty="67"], [row-certainty="68"], [row-certainty="69"] {
    color: rgb(80, 80, 80);
}

[row-certainty="70"], [row-certainty="71"], [row-certainty="72"], [row-certainty="73"], [row-certainty="74"],
[row-certainty="75"], [row-certainty="76"], [row-certainty="77"], [row-certainty="78"], [row-certainty="79"] {
    color: rgb(60, 60, 60);
}

[row-certainty="80"], [row-certainty="81"], [row-certainty="82"], [row-certainty="83"], [row-certainty="84"],
[row-certainty="85"], [row-certainty="86"], [row-certainty="87"], [row-certainty="88"], [row-certainty="89"] {
    color: rgb(40, 40, 40);
}

[row-certainty="90"], [row-certainty="91"], [row-certainty="92"], [row-certainty="93"], [row-certainty="94"],
[row-certainty="95"], [row-certainty="96"], [row-certainty="97"], [row-certainty="98"], [row-certainty="99"] {
    color: rgb(20, 20, 20);
}

body.dark-mode {
    filter: invert(0.9) hue-rotate(180deg);
    background-color: black;
}

body {
    margin: 0;
    position: relative;
    overflow: hidden;
}

main {
    position: absolute;
    left: 0;
    right: 50px;
    top: 0;
    bottom: 0;
    padding: 8px;
    overflow: auto;
}

.sidebar {
    position: absolute;
    right: -200px;
    top: 0;
    bottom: 0;
    width: 250px;
    z-index: 100;
    background-color: lightgray;
    border-left: 3px double black;
    padding: 10px 10px 10px 50px;
    box-sizing: border-box;
    transition: right 0.1s;
    box-shadow: -1px 0 13px rgba(0,0,0,0.4);
}

.sidebar:hover {
    right: 0;
}