body{font-family:Inconsolata,monospace;font-size:12px;height:100vh;padding:1.25rem}header{background-image:url(../logo.png);background-position-x:center;background-position-y:25%;height:200px}.nice-box{border:1px solid #000;font-family:Inconsolata,monospace;font-size:12px;height:75%;overflow-y:scroll;scroll-behavior:smooth}::-webkit-scrollbar{-webkit-appearance:none;width:10px}::-webkit-scrollbar-thumb{background-color:#00000080;border-radius:0;box-shadow:0 0 1px #ffffff80}.line_number{display:inline-block;font-weight:200;padding:0 5px;width:25px}.highlighted{font-weight:800}.left-button{--tw-border-opacity:1;--tw-bg-opacity:1;--tw-text-opacity:1;background-color:#f3f4f6;background-color:rgb(243 244 246/var(--tw-bg-opacity));border-radius:.25rem;border-bottom-right-radius:0;border-color:#4b5563;border-color:rgb(75 85 99/var(--tw-border-opacity));border-top-right-radius:0;border-width:1px;color:#374151;color:rgb(55 65 81/var(--tw-text-opacity));cursor:pointer;display:flex;font-size:1rem;font-weight:700;justify-content:center;line-height:1.5rem;padding:.5rem 1rem;transition-duration:.2s;transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,-webkit-backdrop-filter;transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,backdrop-filter;transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,backdrop-filter,-webkit-backdrop-filter;transition-timing-function:cubic-bezier(.4,0,.2,1)}.left-button:hover{--tw-scale-x:1.1;--tw-scale-y:1.1;--tw-bg-opacity:1;background-color:#e5e7eb;background-color:rgb(229 231 235/var(--tw-bg-opacity));transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(1.1) scaleY(1.1);transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y))}.left-button:focus{outline:2px solid transparent;outline-offset:2px}.right-button{border-radius:.25rem;border-bottom-left-radius:0;border-top-left-radius:0;border-width:1px 1px 1px 0;cursor:pointer;display:flex;font-size:1rem;font-weight:700;justify-content:center;line-height:1.5rem;padding:.5rem 1rem;transition-duration:.2s;transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,-webkit-backdrop-filter;transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,backdrop-filter;transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,backdrop-filter,-webkit-backdrop-filter;transition-timing-function:cubic-bezier(.4,0,.2,1)}.right-button:hover{--tw-scale-x:1.1;--tw-scale-y:1.1;transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(1.1) scaleY(1.1);transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y))}.right-button:focus{outline:2px solid transparent;outline-offset:2px}.nav-button-highlight{--tw-border-opacity:1;--tw-bg-opacity:1;--tw-text-opacity:1;background-color:#ccfbf1;background-color:rgb(204 251 241/var(--tw-bg-opacity));border-color:#0d9488;border-color:rgb(13 148 136/var(--tw-border-opacity));color:#0f766e;color:rgb(15 118 110/var(--tw-text-opacity))}.nav-button-highlight:hover{--tw-bg-opacity:1;background-color:#99f6e4;background-color:rgb(153 246 228/var(--tw-bg-opacity))}.tool-button{--tw-border-opacity:1;--tw-bg-opacity:1;background-color:#d1d5db;background-color:rgb(209 213 219/var(--tw-bg-opacity));border-color:#000;border-color:rgb(0 0 0/var(--tw-border-opacity));border-left-width:1px;border-right-width:1px;border-top-width:1px;font-size:.75rem;line-height:1rem;margin-right:.5rem;padding:.25rem}