body.theme-dark,body.theme-light,body{--dg-graph-ctrl-radius: 6px;--dg-timestamps-gap: 10px;--dg-mermaid-radius: 25px;--dg-filetree-width: 250px;--dg-filetree-min-width: 100px;--dg-filetree-gap: 130px;--dg-filetree-title-size: 42px}/*# sourceMappingURL=style-editor-variables.css.map */