body{margin:0;padding:20px;font-family:Arial,sans-serif;font-size:14px}h1{font-size:20px;margin:0 20px 0 0;padding-right:20px;border-right:1px solid #000}.container{display:flex;flex-direction:column;gap:10px;max-width:none;margin:0;height:calc(100vh - 40px)}.main-content{display:flex;flex:1;gap:10px;min-height:0;font-family:monospace;font-size:14px;border:2px solid #ccc;border-radius:4px}#input-text{height:100%}.navigation-panel{display:flex;align-items:center;margin-bottom:10px}.line-nav-item{margin-right:10px}.file-input-container{display:flex;justify-content:left;align-items:center;margin:0 20px;padding:0 20px;border-left:1px solid #000;border-right:1px solid #000}#file-input{min-width:200px}#goto-line-input{width:60px}.howto-link{display:block;padding:0 20px;margin:0;text-decoration:none;color:#06c;font-size:18px;text-align:right;font-weight:700;flex-grow:1}.howto-link:hover{text-decoration:underline}#log-container{display:flex;flex-direction:row;flex:1;min-width:0;gap:0;overflow:auto}.line-numbers{padding:10px 8px;background-color:#f0f0f0;border-right:1px solid #ccc;line-height:1.4;text-align:right;color:#888;-webkit-user-select:none;user-select:none;min-width:3em;white-space:pre;height:fit-content}#line-numbers-pc{color:#444}#formatted-log-lines{background:#fff;padding:10px;line-height:1.4;white-space:pre;height:fit-content;flex-grow:1}.mem-slot{cursor:pointer}.mem-slot:hover{background-color:#ccf}.register-panel{display:flex;flex-direction:column;gap:10px}.line-numbers .selected-line{background-color:#d4d4d4}.ignorable-line{color:#ccc}.inline-c-source-line,.active_mem_slot .inline-c-source-line.selected-line,.active_mem_slot .inline-c-source-line.dependency-line{color:#00f}.selected-line,.ignorable-line.selected-line{background-color:#ccf;color:#000}.active_mem_slot .normal-line,.active_mem_slot .inline-c-source-line{color:#888}.active_mem_slot .normal-line.selected-line,.active_mem_slot .normal-line.dependency-line{color:#000}.active_mem_slot .selected-line .mem-slot,.dependency-line .mem-slot{font-weight:700}.line-numbers-line,.dep-arrow,.log-line{height:20px}.log-line{display:flex}.line-indent{width:20px;display:inline-block;border-left:1px solid #dbdbdb;align-self:stretch}.log-line:hover{background-color:#eef;color:#000}.dependency-line{background-color:#eee}.effect-write{background-color:#fee}.effect-read{background-color:#efe}.dependency-mem-slot{font-weight:700}.selected-mem-slot{border:1px solid black}#mem-slot-tooltip{position:fixed;display:none;background-color:#fff;padding:5px 10px;font-family:monospace;font-size:12px;z-index:1000;pointer-events:none;box-shadow:0 2px 4px #0003;border-style:solid;border-color:#000;border-width:1px}#mem-slot-tooltip-arrow{content:"";position:absolute;transform:translate(-50%);border-width:0 5px 5px 5px;border-style:solid;border-color:transparent transparent #333 transparent}.scratched{color:gray}#dependency-arrows{padding-top:10px;padding-bottom:10px;line-height:1.4;text-align:right;-webkit-user-select:none;user-select:none;min-width:2em;white-space:pre;height:fit-content}.dep-arrow{position:relative}.dep-end:before{content:"└─";padding-left:10px}.dep-start:before{content:"┌─";padding-left:10px}.dep-mid:before{content:"├─";padding-left:10px}.dep-track:before{content:"│ ";padding-left:10px}.dep-track.active-up:hover:before{content:"▲ ";padding-left:10px}.dep-track.active-down:hover:before{content:"▼ ";padding-left:10px}.state-panel{background-color:#f8f8f8;border-left:1px solid #ccc;position:relative}#state-panel-shown{flex:1;padding:10px;overflow:auto}#state-panel-collapsed{flex:none;width:30px;padding:10px;text-align:center}#state-panel-header{display:flex;flex-direction:row;font-weight:700;margin-bottom:10px;color:#004}#state-panel-header div{display:inline-block;margin-right:32px}.state-panel table{width:100%;border-collapse:collapse;font-family:monospace;font-size:14px}.state-panel td{padding:4px 8px;border-bottom:1px solid #ddd}.state-panel tr:hover{background-color:#f5f5f5}.state-panel td:first-child{font-weight:700;color:#555;width:7ch}.state-panel td:last-child{font-family:monospace;word-break:break-all}.hide-show-button{position:absolute;font-size:30px;font-weight:400;top:0;right:15px;text-align:center;cursor:pointer}.hide-show-button:hover{color:#00f}.hide-show-button .hide-show-tooltip{display:none}.hide-show-button:hover .hide-show-tooltip{display:block}.hide-show-tooltip{position:absolute;top:6px;right:30px;width:160px;font-size:12px;background-color:#f8f8f8;padding:5px;border:1px solid #ccc;color:#000;box-shadow:#0000003d 0 3px 8px}.hint-line{font-size:14px;color:#000;font-family:monospace}.hint-line span{font-weight:700}
