body{margin:0;font-family:system-ui}nav{text-align:right;background:#043d20;justify-content:space-between;padding:.5rem;display:flex}nav a{color:#92b5ff;padding:0 .5rem}.buttons{text-align:center;margin:1rem}.cm-editor{margin:.5rem}.cm-lintRange-deprecated{text-decoration:line-through;background-image:none!important}.cm-lintRange-unnecessary{opacity:.4;background-repeat:no-repeat!important}