@font-face{font-family:Roboto;font-style:normal;font-weight:400;font-stretch:100%;src:url(https://fonts.gstatic.com/s/roboto/v50/KFOMCnqEu92Fr1ME7kSn66aGLdTylUAMQXC89YmC2DPNWubEbVmZiArmlw.woff2) format("woff2");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Roboto;font-style:normal;font-weight:400;font-stretch:100%;src:url(https://fonts.gstatic.com/s/roboto/v50/KFOMCnqEu92Fr1ME7kSn66aGLdTylUAMQXC89YmC2DPNWubEbVmQiArmlw.woff2) format("woff2");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Roboto;font-style:normal;font-weight:400;font-stretch:100%;src:url(https://fonts.gstatic.com/s/roboto/v50/KFOMCnqEu92Fr1ME7kSn66aGLdTylUAMQXC89YmC2DPNWubEbVmYiArmlw.woff2) format("woff2");unicode-range:U+1F00-1FFF}@font-face{font-family:Roboto;font-style:normal;font-weight:400;font-stretch:100%;src:url(https://fonts.gstatic.com/s/roboto/v50/KFOMCnqEu92Fr1ME7kSn66aGLdTylUAMQXC89YmC2DPNWubEbVmXiArmlw.woff2) format("woff2");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:Roboto;font-style:normal;font-weight:400;font-stretch:100%;src:url(https://fonts.gstatic.com/s/roboto/v50/KFOMCnqEu92Fr1ME7kSn66aGLdTylUAMQXC89YmC2DPNWubEbVnoiArmlw.woff2) format("woff2");unicode-range:U+0302-0303,U+0305,U+0307-0308,U+0310,U+0312,U+0315,U+031A,U+0326-0327,U+032C,U+032F-0330,U+0332-0333,U+0338,U+033A,U+0346,U+034D,U+0391-03A1,U+03A3-03A9,U+03B1-03C9,U+03D1,U+03D5-03D6,U+03F0-03F1,U+03F4-03F5,U+2016-2017,U+2034-2038,U+203C,U+2040,U+2043,U+2047,U+2050,U+2057,U+205F,U+2070-2071,U+2074-208E,U+2090-209C,U+20D0-20DC,U+20E1,U+20E5-20EF,U+2100-2112,U+2114-2115,U+2117-2121,U+2123-214F,U+2190,U+2192,U+2194-21AE,U+21B0-21E5,U+21F1-21F2,U+21F4-2211,U+2213-2214,U+2216-22FF,U+2308-230B,U+2310,U+2319,U+231C-2321,U+2336-237A,U+237C,U+2395,U+239B-23B7,U+23D0,U+23DC-23E1,U+2474-2475,U+25AF,U+25B3,U+25B7,U+25BD,U+25C1,U+25CA,U+25CC,U+25FB,U+266D-266F,U+27C0-27FF,U+2900-2AFF,U+2B0E-2B11,U+2B30-2B4C,U+2BFE,U+3030,U+FF5B,U+FF5D,U+1D400-1D7FF,U+1EE00-1EEFF}@font-face{font-family:Roboto;font-style:normal;font-weight:400;font-stretch:100%;src:url(https://fonts.gstatic.com/s/roboto/v50/KFOMCnqEu92Fr1ME7kSn66aGLdTylUAMQXC89YmC2DPNWubEbVn6iArmlw.woff2) format("woff2");unicode-range:U+0001-000C,U+000E-001F,U+007F-009F,U+20DD-20E0,U+20E2-20E4,U+2150-218F,U+2190,U+2192,U+2194-2199,U+21AF,U+21E6-21F0,U+21F3,U+2218-2219,U+2299,U+22C4-22C6,U+2300-243F,U+2440-244A,U+2460-24FF,U+25A0-27BF,U+2800-28FF,U+2921-2922,U+2981,U+29BF,U+29EB,U+2B00-2BFF,U+4DC0-4DFF,U+FFF9-FFFB,U+10140-1018E,U+10190-1019C,U+101A0,U+101D0-101FD,U+102E0-102FB,U+10E60-10E7E,U+1D2C0-1D2D3,U+1D2E0-1D37F,U+1F000-1F0FF,U+1F100-1F1AD,U+1F1E6-1F1FF,U+1F30D-1F30F,U+1F315,U+1F31C,U+1F31E,U+1F320-1F32C,U+1F336,U+1F378,U+1F37D,U+1F382,U+1F393-1F39F,U+1F3A7-1F3A8,U+1F3AC-1F3AF,U+1F3C2,U+1F3C4-1F3C6,U+1F3CA-1F3CE,U+1F3D4-1F3E0,U+1F3ED,U+1F3F1-1F3F3,U+1F3F5-1F3F7,U+1F408,U+1F415,U+1F41F,U+1F426,U+1F43F,U+1F441-1F442,U+1F444,U+1F446-1F449,U+1F44C-1F44E,U+1F453,U+1F46A,U+1F47D,U+1F4A3,U+1F4B0,U+1F4B3,U+1F4B9,U+1F4BB,U+1F4BF,U+1F4C8-1F4CB,U+1F4D6,U+1F4DA,U+1F4DF,U+1F4E3-1F4E6,U+1F4EA-1F4ED,U+1F4F7,U+1F4F9-1F4FB,U+1F4FD-1F4FE,U+1F503,U+1F507-1F50B,U+1F50D,U+1F512-1F513,U+1F53E-1F54A,U+1F54F-1F5FA,U+1F610,U+1F650-1F67F,U+1F687,U+1F68D,U+1F691,U+1F694,U+1F698,U+1F6AD,U+1F6B2,U+1F6B9-1F6BA,U+1F6BC,U+1F6C6-1F6CF,U+1F6D3-1F6D7,U+1F6E0-1F6EA,U+1F6F0-1F6F3,U+1F6F7-1F6FC,U+1F700-1F7FF,U+1F800-1F80B,U+1F810-1F847,U+1F850-1F859,U+1F860-1F887,U+1F890-1F8AD,U+1F8B0-1F8BB,U+1F8C0-1F8C1,U+1F900-1F90B,U+1F93B,U+1F946,U+1F984,U+1F996,U+1F9E9,U+1FA00-1FA6F,U+1FA70-1FA7C,U+1FA80-1FA89,U+1FA8F-1FAC6,U+1FACE-1FADC,U+1FADF-1FAE9,U+1FAF0-1FAF8,U+1FB00-1FBFF}@font-face{font-family:Roboto;font-style:normal;font-weight:400;font-stretch:100%;src:url(https://fonts.gstatic.com/s/roboto/v50/KFOMCnqEu92Fr1ME7kSn66aGLdTylUAMQXC89YmC2DPNWubEbVmbiArmlw.woff2) format("woff2");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Roboto;font-style:normal;font-weight:400;font-stretch:100%;src:url(https://fonts.gstatic.com/s/roboto/v50/KFOMCnqEu92Fr1ME7kSn66aGLdTylUAMQXC89YmC2DPNWubEbVmaiArmlw.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Roboto;font-style:normal;font-weight:400;font-stretch:100%;src:url(https://fonts.gstatic.com/s/roboto/v50/KFOMCnqEu92Fr1ME7kSn66aGLdTylUAMQXC89YmC2DPNWubEbVmUiAo.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--pixel-ratio: 1;--bg-primary: #ffffff;--bg-secondary: #f5f5f5;--bg-tertiary: #fafafa;--bg-elevated: #ffffff;--bg-quaternary: #f0f0f0;--text-primary: rgba(0, 0, 0, .87);--text-secondary: rgba(0, 0, 0, .6);--text-disabled: rgba(0, 0, 0, .38);--border-color: rgba(0, 0, 0, .12);--divider-color: rgba(0, 0, 0, .12);--hover-bg: rgba(0, 0, 0, .04);--selected-bg: rgba(0, 0, 0, .08);--bg-diagram: #fff;--gradient-start: #a0bcfc;--gradient-mid: #d2f5df;--gradient-end: #ffedc6;--gradient-bg: linear-gradient(135deg, var(--gradient-start) 0%, var(--gradient-mid) 50%, var(--gradient-end) 100%);--accent-primary: #6b8cff;--accent-secondary: #8fa7ff;--shadow-color: rgba(107, 140, 255, .15);--shadow-elevated: rgba(0, 0, 0, .1);--nav-bg: rgba(255, 255, 255, .65);--nav-border: rgba(160, 188, 252, .35);--nav-shadow: rgba(255, 184, 107, .12);--badge-error-bg: #fff1f2;--badge-error-text: #b91c1c;--badge-error-border: #ffd5d8;--badge-warning-bg: #fef3c7;--badge-warning-text: #92400e;--badge-warning-border: #fde68a;--badge-success-bg: #ecfdf5;--badge-success-text: #065f46;--badge-success-border: #a7f3d0;--home-icon-url: url("./media/Home-IJ6ZCMJ2.webp");--home-icon-hover-url: url("./media/Home_reverse-3OWBBO6I.webp");--ontology-icon-url: url("./media/Ontology-TT5LOWRJ.webp");--ontology-icon-hover-url: url("./media/Ontology_reverse-TSG576M4.webp");--uml-icon-url: url("./media/UML-TOXBGVG7.webp");--uml-icon-hover-url: url("./media/UML_reverse-Y2E7JG7W.webp");--invariant-icon-url: url("./media/Invariant-W3V4ATXK.webp");--invariant-icon-hover-url: url("./media/Invariant_reverse-VGPDLBMO.webp");--new-knowledge-icon-url: url("./media/New_Knowledge-4L4AYYUS.webp");--new-knowledge-icon-hover-url: url("./media/New_Knowledge_reverse-BVX6R7X6.webp");--tables-icon-url: url("./media/Tables-2K3SRXXK.webp");--tables-icon-hover-url: url("./media/Tables_Reverse-7244UIXF.webp");--edge-equivalence-color: #8852FE;--edge-disjoint-color: #c52bf4;--edge-inheritance-color: #96BD0D;--edge-object-property-color: #1F1BF0;--node-background-color: #ffffff;--node-border-color: #000000}.dark-theme{--bg-primary: #0d0d0d;--bg-secondary: #1a1a1a;--bg-tertiary: #242424;--bg-elevated: #2d2d2d;--bg-quaternary: #3a3a3a;--text-primary: rgba(255, 255, 255, .95);--text-secondary: rgba(255, 255, 255, .7);--text-disabled: rgba(255, 255, 255, .4);--border-color: rgba(255, 255, 255, .15);--divider-color: rgba(255, 255, 255, .15);--hover-bg: rgba(255, 255, 255, .08);--selected-bg: rgba(255, 255, 255, .16);--gradient-start: #2d3561;--gradient-mid: #1e3a2f;--gradient-end: #4a3821;--gradient-bg: linear-gradient(135deg, var(--gradient-start) 0%, var(--gradient-mid) 50%, var(--gradient-end) 100%);--accent-primary: #a0bcfc;--accent-secondary: #8fa7ff;--shadow-color: rgba(160, 188, 252, .25);--shadow-elevated: rgba(0, 0, 0, .5);--nav-bg: rgba(45, 45, 45, .75);--nav-border: rgba(160, 188, 252, .2);--nav-shadow: rgba(160, 188, 252, .15);--badge-error-bg: #4a1f1f;--badge-error-text: #ff8888;--badge-error-border: #5a2525;--badge-warning-bg: #4a3821;--badge-warning-text: #fde68a;--badge-warning-border: #6b5433;--badge-success-bg: #1e3a2f;--badge-success-text: #7dfeac;--badge-success-border: #2d5a45;--home-icon-url: url("./media/Home_reverse-3OWBBO6I.webp");--home-icon-hover-url: url("./media/Home-IJ6ZCMJ2.webp");--ontology-icon-url: url("./media/Ontology_reverse-TSG576M4.webp");--ontology-icon-hover-url: url("./media/Ontology-TT5LOWRJ.webp");--uml-icon-url: url("./media/UML_reverse-Y2E7JG7W.webp");--uml-icon-hover-url: url("./media/UML-TOXBGVG7.webp");--invariant-icon-url: url("./media/Invariant_reverse-VGPDLBMO.webp");--invariant-icon-hover-url: url("./media/Invariant-W3V4ATXK.webp");--new-knowledge-icon-url: url("./media/New_Knowledge_reverse-BVX6R7X6.webp");--new-knowledge-icon-hover-url: url("./media/New_Knowledge-4L4AYYUS.webp");--tables-icon-url: url("./media/Tables_Reverse-7244UIXF.webp");--tables-icon-hover-url: url("./media/Tables-2K3SRXXK.webp");--edge-equivalence-color: #baa0f1;--edge-disjoint-color: #d195e4;--edge-inheritance-color: #c7e266;--edge-object-property-color: #8583eb;--node-background-color: #ffffff;--node-border-color: #000000}*:focus-visible{outline:2px solid var(--text-primary);outline-offset:2px}button:focus-visible,a:focus-visible{outline:2px solid var(--accent-primary);outline-offset:2px}html{font-size:calc(16px / var(--pixel-ratio));width:100%;height:100%}body{margin:0;padding:0;width:100%;height:100%;overflow-x:hidden;transition:background-color .3s ease,color .3s ease}*,*:before,*:after{transition-property:background-color,border-color,box-shadow,color;transition-duration:.3s;transition-timing-function:ease}a{text-decoration:none}*{font-family:Roboto,sans-serif}.my-dialog-panel{display:flex;flex-direction:column;justify-content:center;background-color:var(--bg-elevated)!important;padding:0 10px 10px!important;border:1px solid var(--border-color)!important;border-radius:12px!important}.dark-theme .my-dialog-panel{box-shadow:0 8px 32px #00000080!important}