.vertical-bar-indicator:before{background:#22e0b6;border-radius:.2em;content:"";display:block;margin-right:1.1rem;min-width:2px;opacity:1;width:2px}.container{-webkit-box-sizing:border-box;box-sizing:border-box;margin:0 auto;max-width:960px;padding:0 .5em;position:relative;width:100%}@media (min-width:400px){.container{padding:0 1.5em;width:100%}}@media (min-width:550px){.container{padding:0 2em;width:100%}}@media (min-width:1000px){.container{padding:0;width:100%}}.column,.columns{-webkit-box-sizing:border-box;box-sizing:border-box;float:left;width:100%}@media (min-width:550px){.column,.columns{margin-left:4%}.column:first-child,.columns:first-child{margin-left:0}.twelve.columns{margin-left:0;width:100%}}@media (min-width:550px) and (min-width:550px){.one.column,.one.columns{width:4.66666667%}.two.columns{width:13.33333333%}.three.columns{width:22%}.four.columns{width:30.66666667%}.five.columns{width:39.33333333%}.six.columns{width:48%}.seven.columns{width:56.66666667%}.eight.columns{width:65.33333333%}.nine.columns{width:74%}.ten.columns{width:82.66666667%}.eleven.columns{width:91.33333333%}.one-third.column{width:30.66666667%}.two-thirds.column{width:65.33333333%}.one-half.column{width:48%}.offset-by-one.column,.offset-by-one.columns{margin-left:8.66666667%}.offset-by-two.column,.offset-by-two.columns{margin-left:17.33333333%}.offset-by-three.column,.offset-by-three.columns{margin-left:26%}.offset-by-four.column,.offset-by-four.columns{margin-left:34.66666667%}.offset-by-five.column,.offset-by-five.columns{margin-left:43.33333333%}.offset-by-six.column,.offset-by-six.columns{margin-left:52%}.offset-by-seven.column,.offset-by-seven.columns{margin-left:60.66666667%}.offset-by-eight.column,.offset-by-eight.columns{margin-left:69.33333333%}.offset-by-nine.column,.offset-by-nine.columns{margin-left:78%}.offset-by-ten.column,.offset-by-ten.columns{margin-left:86.66666667%}.offset-by-eleven.column,.offset-by-eleven.columns{margin-left:95.33333333%}.offset-by-one-third.column,.offset-by-one-third.columns{margin-left:34.66666667%}.offset-by-two-thirds.column,.offset-by-two-thirds.columns{margin-left:69.33333333%}.offset-by-one-half.column{margin-left:52%}}html{font-size:10px}body{color:#68717f;font-family:Merriweather Sans,sans-serif;font-size:1.6rem;font-weight:400;margin:0;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-weight:300;margin-bottom:2rem;margin-top:0}h1{font-size:4rem;line-height:1.2}h1,h2{letter-spacing:-.1rem}h2{font-size:3.6rem;line-height:1.25}h3{font-size:3rem;letter-spacing:-.1rem;line-height:1.3}h4{font-size:2.4rem;letter-spacing:-.08rem;line-height:1.35}h5{font-size:1.8rem;letter-spacing:-.05rem;line-height:1.5}h6{font-size:1.5rem;letter-spacing:0;line-height:1.6}@media (min-width:550px){h1{font-size:5rem}h2{font-size:4.2rem}h3{font-size:3.6rem}h4{font-size:3rem}h5{font-size:2.4rem}h6{font-size:1.5rem}}p{margin-top:0}a{color:#1eaedb}a:hover{color:#1b9cc5}.button{background-color:transparent;border:1px solid #e1e1e1;border-radius:4px;-webkit-box-sizing:border-box;box-sizing:border-box;color:#555;cursor:pointer;display:inline-block;font-size:11px;font-weight:600;height:24px;letter-spacing:.1rem;line-height:24px;padding:0 10px;text-align:center;text-decoration:none;text-transform:uppercase;white-space:nowrap}.button--large{height:38px;line-height:38px;padding:0 15px}.button--focus,.button:focus,.button:hover{border-color:#888;color:#333;outline:0}.button--disabled,.button:disabled{color:#e1e1e1;cursor:not-allowed}.button--disabled:hover,.button:disabled:hover{border-color:#e1e1e1}.button--no-border{border:0}.button--primary{background-color:#21d8af;border-color:#21d8af;color:#fff}.button--primary--focus,.button--primary:focus,.button--primary:hover{background-color:#1eaedb;border-color:#1eaedb;color:#fff}.button-group .button{border-radius:0;margin-left:-1px;position:relative}.button-group .button:first-child{border-bottom-left-radius:4px;border-top-left-radius:4px;margin-left:0}.button-group .button:last-child{border-bottom-right-radius:4px;border-top-right-radius:4px}.button-group .button--focus,.button-group .button:focus,.button-group .button:hover{z-index:5}.button-group-dropdown>.button{border-bottom-style:dotted;border-radius:0;border-width:0 0 1px;position:relative}.button-group-dropdown>.button:first-child{border-top-width:1px;margin-top:0}.button-group-dropdown>.button:last-child{border-bottom-width:0}input[type=email],input[type=number],input[type=password],input[type=search],input[type=tel],input[type=text],input[type=url]{background-color:#fff;border:1px solid #f7f7f7;border-radius:4px;-webkit-box-shadow:none;box-shadow:none;-webkit-box-sizing:border-box;box-sizing:border-box;height:24px;padding:4px 10px}input.input--large{height:38px;padding:6px 10px}select,textarea{background-color:#fff;border:1px solid #f7f7f7;border-radius:4px;-webkit-box-shadow:none;box-shadow:none;-webkit-box-sizing:border-box;box-sizing:border-box;height:24px;padding:4px 10px}input[type=email],input[type=number],input[type=password],input[type=search],input[type=tel],input[type=text],input[type=url],textarea{-webkit-appearance:none;-moz-appearance:none;appearance:none}textarea{min-height:65px;padding-bottom:6px;padding-top:6px}input[type=email]:focus,input[type=number]:focus,input[type=password]:focus,input[type=search]:focus,input[type=tel]:focus,input[type=text]:focus,input[type=url]:focus,select:focus,textarea:focus{border:1px solid #21d8af;outline:0}label,legend{display:block;font-weight:600}fieldset{border-width:0;padding:0}input[type=checkbox],input[type=radio]{display:inline}label>.label-body{display:inline-block;font-weight:400;margin-left:.5rem}ul{list-style:circle inside}ol{list-style:decimal inside}ol,ul{margin-top:0;padding-left:0}ol ol,ol ul,ul ol,ul ul{font-size:90%;margin:1.5rem 0 1.5rem 3rem}li{margin-bottom:1rem}code{background:#f1f1f1;border:1px solid #e1e1e1;border-radius:4px;font-size:90%;margin:0 .2rem;padding:.2rem .5rem;white-space:nowrap}pre>code{display:block;padding:1rem 1.5rem;white-space:pre}table{border-collapse:collapse}td,th{border-bottom:1px solid #e1e1e1;padding:12px 15px;text-align:left}.u-full-width{width:100%}.u-full-width,.u-max-full-width{-webkit-box-sizing:border-box;box-sizing:border-box}.u-max-full-width{max-width:100%}.u-pull-right{float:right}.u-pull-left{float:left}hr{border-width:0;border-top:1px solid #e1e1e1;margin-bottom:3.5rem;margin-top:3rem}.container:after,.row:after,.u-cf{clear:both;content:"";display:table}.logo-imandra-sad-green,.logo-imandra-sad-white,.notification-page--404 .notification-page__imandra-face,.notification-page--error .notification-page__imandra-face,.notification-page--unauthorized .notification-page__imandra-face,.svg-common{background-repeat:no-repeat;background-size:contain}.logo-imandra-sad-white{background-image:url(/static/assets/images/faces/logo-imandra-sad-white.6b8adb557b606122d479.svg)}.logo-imandra-sad-green,.notification-page--404 .notification-page__imandra-face,.notification-page--error .notification-page__imandra-face,.notification-page--unauthorized .notification-page__imandra-face{background-image:url(/static/assets/images/faces/logo-imandra-sad-green.a2fd9bd396659ec0a5bd.svg)}.logo-imandra-sad-dims,.notification-page--404 .notification-page__imandra-face,.notification-page--error .notification-page__imandra-face,.notification-page--unauthorized .notification-page__imandra-face{height:152px;width:122px}.icon{height:1em;width:1em;fill:currentColor}.icon-lg{height:2em;width:2em}.icon svg{height:100%}.icon svg,.u-width--100{width:100%}.u-color--c-p-coolmint{color:#21d8af}.u-color--c-s-bloominglife{color:#27d798}.u-color--c-s-palealert{color:#e95e65}.u-font-size--sm{font-size:1.2rem}.u-font-weight--bold{font-weight:700}.u-bgc--grey{background-color:#e4e4e4}.u-margin-left{margin-left:10px}.u-padding{padding:10px}.u-padding--sm{padding:10px/2}.u-padding--xs{padding:10px/4}.u-padding--lg{padding:20px}.u-display--none{display:none}.u-display--flex{display:-webkit-box;display:-ms-flexbox;display:flex}.u-text-align--right{text-align:right}.u-visibility--hidden{visibility:hidden}.u-white-space--nowrap{white-space:nowrap}blockquote,body,dd,dl,figcaption,figure,h1,h2,h3,h4,h5,h6,li,ol[class],p,ul[class]{font-weight:var(--fontWeight);margin:0;padding:0}*,:after,:before{-webkit-box-sizing:border-box;box-sizing:border-box}:root{text-rendering:optimizeLegibility;--colorBasic--blue:#08f;--colorBasic--blue--l1:#33a0ff;--colorBasic--blue--l2:#66b8ff;--colorBasic--blue--l3:#99cfff;--colorBasic--blue--l4:#cce7ff;--colorBasic--blue--l5:#ebf5ff;--colorBasic--turquoise:#00f0b4;--colorBasic--turquoise--l1:#24ffc8;--colorBasic--turquoise--l2:#57ffd5;--colorBasic--turquoise--l3:#8affe2;--colorBasic--turquoise--l4:#bdffee;--colorBasic--turquoise--l5:#f0fffb}:root [hidden]{display:none;visibility:hidden}body{line-height:1.6;min-width:var(--minLayoutWidth)}html{--mainFontSize:16px;-webkit-font-smoothing:antialiased;--fontFamily:"Merriweather Sans",sans-serif;--fontFamily--System:'-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"';--fontFamily--Code:"Source Code Pro",monospace;--fontFamily--Tech:"Share Tech Mono",monospace;--fontFamily--Roboto:"Roboto",sans-serif;--fontWeight:300;--font-Weight--bold:600;font-family:var(--fontFamily);--fontSize--0:calc(var(--mainFontSize)*5.61);--fontSize--1:calc(var(--mainFontSize)*4.209);--fontSize--2:calc(var(--mainFontSize)*3.157);--fontSize--3:calc(var(--mainFontSize)*2.369);--fontSize--4:calc(var(--mainFontSize)*1.777);--fontSize--5:calc(var(--mainFontSize)*1.333);--fontSize--6:var(--mainFontSize);--fontSize--basic:var(--mainFontSize);--fontSize--smaller:calc(var(--mainFontSize)*0.75);--fontSize--small:calc(var(--mainFontSize)*0.625);--fontSize--mini:calc(var(--mainFontSize)*0.422);--fontSize--button:var(--mainFontSize);--lineHeight--copy:1.426;--lineHeight--0:1;--lineHeight--1:1.5;--lineHeight--2:1.44;--lineHeight--3:1.44;--lineHeight--4:1.5;--lineHeight--5:1.53;--lineHeight--6:1.5;--lineHeight--basic:1.5;--fontColor:#264082;color:var(--fontColor);--fontColorHover:var(--color--DogerBlue--100);--layoutWidth:1056px;--minLayoutWidth:375px;--layoutMinHeight:100vh;--baseLineHeight--button:var(--space--1);--fullWidth:100%;--space--d8:calc(var(--mainFontSize)/8);--space--d4:calc(var(--mainFontSize)/4);--space--d2:calc(var(--mainFontSize)/2);--space--1:calc(var(--mainFontSize));--space--2:calc(var(--mainFontSize)*2);--space--3:calc(var(--mainFontSize)*3);--space--4:calc(var(--mainFontSize)*4);--space--5:calc(var(--mainFontSize)*5);--space--6:calc(var(--mainFontSize)*6);--space--7:calc(var(--mainFontSize)*7);--space--8:calc(var(--mainFontSize)*8);--space--9:calc(var(--mainFontSize)*9);--space--10:calc(var(--mainFontSize)*10);--headerPosition:absolute;--headerBackground:none;--headerWidth:100%;--headerHeight:var(--space--6);--headerLogoHeight:var(--mainFontSize);--generalPadding:0 var(--space--1) 0 var(--space--2);--columnPadding:var(--generalPadding);--headerPadding:var(--generalPadding);--navButtonPadding:0 var(--space--1);--navButtonPadding--cta:var(--space--d2) var(--space--2) var(--space--d2) var(--space--1);--navButtonBackground:transparent;--colorPigment--Blue:216,61%,47%;--colorPigment--DogerBlue:210,100%,56%;--colorPigment--Violet:307,43%,39%;--colorPigment--DGrey:0,0%,13%;--color--DogerBlue--100:hsla(var(--colorPigment--DogerBlue),1);--color--Blue--100:hsla(var(--colorPigment--Blue),1);--color--Blue--50:hsla(var(--colorPigment--Blue),0.5);--color--Violet--100:hsla(var(--colorPigment--Violet),1);--color--DGrey--10:hsla(var(--colorPigment--DGrey),0.1);--color--DGrey--05:hsla(var(--colorPigment--DGrey),0.05);--round-corners:var(--space--4);--transitionsForButtons:all 200ms cubic-bezier(0.2,0.6,0.355,1),border 0ms;--zIndexBack:-1;--zIndexFront:99;--shadow--1:rgba(50,50,93,.25) 0px 50px 100px -20px,rgba(0,0,0,.3) 0px 30px 60px -30px;--shadow--2:0 50px 100px -20px rgba(50,50,93,.5),0 30px 60px -30px rgba(0,0,0,.6);--navMenuColor:var(--color--Blue--100);--navMenuOpacity:1;--menuBackgroundColor:#fff;--menuSectionTitleColor:rgba(47,105,193,.44);--menuItemTitleColor:var(--fontColor);--menuItemTitleColorHover:var(--fontColorHover);--menuItemSubTitleColor:var(--fontColor);--colorSvgPathHover:var(--color--DogerBlue--100);--buttonColor--cta:var(--colorBasic--blue);--buttonColor--cta--hover:var(--colorBasic--blue);--buttonIconColour--cta--hover:var(--buttonColor--cta--hover);--buttonBackgroundColor--cta:hsla(0,0%,100%,.2);--buttonBackgroundColor--cta--hover:hsla(0,0%,100%,.1);--menuIconNavCloseColour:var(--colorBasic--blue)}header{font-size:16px}h1{font-size:var(--fontSize--1);line-height:var(--lineHeight--1)}h2{font-size:var(--fontSize--2);line-height:var(--lineHeight--2)}h3{font-size:var(--fontSize--3);line-height:var(--lineHeight--3)}h4{font-size:var(--fontSize--4);line-height:var(--lineHeight--4)}h5{font-size:var(--fontSize--5);line-height:var(--lineHeight--5)}h6{font-size:var(--fontSize--6);line-height:var(--lineHeight--6)}.copy{color:var(--copyColor);font-size:clamp(3rem,8vw,5.61rem);font-weight:var(--fontWeight);line-height:var(--lineHeight--copy)}.page-header{background:var(--headerBackground);height:var(--headerHeight);left:0;min-width:var(--minLayoutWidth);position:var(--headerPosition);top:0;width:var(--headerWidth);z-index:var(--zIndexFront)}.page-header__container{height:var(--headerHeight);margin:0 auto;max-width:var(--layoutWidth);padding:var(--headerPadding)}.page-header__nav-container{display:-webkit-box;display:-ms-flexbox;display:flex;-webkit-box-pack:justify;-ms-flex-pack:justify;justify-content:space-between;-webkit-box-align:center;-ms-flex-align:center;align-items:center;height:100%}.page-header.variant--imandra{--navMenuColor:#fff;--buttonColor--cta:hsla(0,0%,100%,.8);--buttonColor--cta--hover:hsla(0,0%,100%,.6);--buttonBackgroundColor--cta:hsla(0,0%,100%,.2);--buttonBackgroundColor--cta--hover:hsla(0,0%,100%,.1);--buttonIconColour--cta:var(--buttonColor--cta);--buttonIconColour--cta--hover:var(--buttonColor--cta--hover)}.page-header.variant--try{--navMenuColor:var(--colorBasic--turquoise);--menuBackgroundColor:rgba(4,15,26,.96);--buttonColor--cta:rgba(0,240,180,.8);--buttonColor--cta--hover:rgba(0,240,180,.6);--buttonBackgroundColor--cta:rgba(0,240,180,.2);--buttonBackgroundColor--cta--hover:rgba(0,240,180,.1);--buttonIconColour--cta:var(--buttonColor--cta);--buttonIconColour--cta--hover:var(--buttonColor--cta--hover);--menuSectionTitleColor:rgba(0,136,255,.5);--menuItemTitleColor:rgba(0,240,180,.8);--menuItemSubTitleColor:rgba(0,240,180,.8);--menuItemTitleColorHover:#fff}.page-header.variant--try .imandra-logo-link::hover{--logoColorEl-0:#00f0b4;--logoColorEl-1:#00f0b4;--logoColorEl-2:#00f0b4;--logoColorEl-3:#00f0b4;--logoColorEl-4:#00f0b4;--logoColorEl-5:#00f0b4;--logoColorEl-6:#00f0b4;--logoColorEl-7:#00f0b4;--logoColorEl-8:#00f0b4;--logoColorEl-9:#00f0b4}.page-header.variant--media{--navMenuColor:var(--colorBasic--blue--l1);--menuBackgroundColor:rgba(36,35,62,.92);--menuSectionTitleColor:#004cff;--menuItemTitleColor:var(--colorBasic--blue);--menuItemSubTitleColor:var(--colorBasic--blue);--menuItemTitleColorHover:#fff}.page-header.variant--dark{--navMenuColor:unset;--buttonColor--cta:var(--color--Blue--100);--buttonColor--cta--hover:unset;--buttonBackgroundColor--cta:hsla(0,0%,100%,.3);--buttonBackgroundColor--cta--hover:hsla(0,0%,100%,.5);--buttonIconColour--cta:var(--buttonColor--cta);--buttonIconColour--cta--hover:var(--buttonColor--cta--hover)}.page-header.variant--products{--navMenuColor:#fff;--menuItemTitleColor:unset;--menuItemSubTitleColor:unset;--buttonColor--cta:hsla(0,0%,100%,.8);--buttonColor--cta--hover:hsla(0,0%,100%,.6);--buttonBackgroundColor--cta:hsla(0,0%,100%,.2);--buttonBackgroundColor--cta--hover:hsla(0,0%,100%,.1);--buttonIconColour--cta:var(--buttonColor--cta);--buttonIconColour--cta--hover:var(--buttonColor--cta--hover)}.page-header.variant--products .imandra-logo-link{--logoColorEl-0:#08f;--logoColorEl-1:#08f;--logoColorEl-2:#08f;--logoColorEl-3:#00f0b4;--logoColorEl-4:#00f0b4;--logoColorEl-5:#00f0b4;--logoColorEl-6:#00f0b4;--logoColorEl-7:#00f0b4;--logoColorEl-8:#00f0b4;--logoColorEl-9:#00f0b4}.page-header-nav{display:none;height:100%}@media screen and (min-width:780px){.page-header-nav{display:block}}.page-header-nav__list{display:-webkit-box;display:-ms-flexbox;display:flex;-webkit-box-align:center;-ms-flex-align:center;align-items:center;height:100%;list-style:none}.page-header-nav__list-item{height:100%}.page-header-nav__list-item-link{background:var(--navButtonBackground);border:none;color:var(--navMenuColor);font-size:var(--fontSize--button);font-weight:var(--fontWeight--button,600);height:100%;letter-spacing:.1px;line-height:var(--baseLineHeight--button);opacity:var(--navMenuOpacity);outline:none;padding:var(--navButtonPadding);-webkit-transition:var(--transitionsForButtons);transition:var(--transitionsForButtons);white-space:nowrap;z-index:11}.page-header-nav__list-item-link[aria-expanded=true]{opacity:.55}.page-header-cta-nav{display:none}@media screen and (min-width:780px){.page-header-cta-nav{display:block}}.cta-button{background:var(--buttonBackgroundColor--cta);border-radius:var(--round-corners);color:var(--buttonColor--cta);display:inline-block;font-size:calc(var(--fontSize--button)*.9);font-weight:var(--fontWeight--cta-button,700);letter-spacing:.2px;line-height:var(--baseLineHeight--button);padding:var(--navButtonPadding--cta);position:relative;text-decoration:none;-webkit-transition:var(--transitionsForButtons);transition:var(--transitionsForButtons)}.cta-button:hover{background:var(--buttonBackgroundColor--cta--hover);color:var(--buttonColor--cta--hover)}.cta-button:hover [data-element=arrow]{-webkit-animation:arrowCta .2s cubic-bezier(.5,1,.89,1) forwards;animation:arrowCta .2s cubic-bezier(.5,1,.89,1) forwards}.cta-button:hover [data-element=arrow] polygon{fill:var(--buttonIconColour--cta--hover)}.cta-button__arrow{height:12px;position:absolute;right:13px;width:12px}.cta-button__arrow-path{fill:var(--buttonColor--cta)}@-webkit-keyframes arrowCta{0%{opacity:1;-webkit-transform:translateX(0);transform:translateX(0)}49%{opacity:0;-webkit-transform:translateX(16px);transform:translateX(16px)}50%{opacity:0;-webkit-transform:translateX(-16px);transform:translateX(-16px)}90%{opacity:.5;-webkit-transform:translateX(-2px);transform:translateX(-2px)}to{opacity:1;-webkit-transform:translateX(0);transform:translateX(0)}}@keyframes arrowCta{0%{opacity:1;-webkit-transform:translateX(0);transform:translateX(0)}49%{opacity:0;-webkit-transform:translateX(16px);transform:translateX(16px)}50%{opacity:0;-webkit-transform:translateX(-16px);transform:translateX(-16px)}90%{opacity:.5;-webkit-transform:translateX(-2px);transform:translateX(-2px)}to{opacity:1;-webkit-transform:translateX(0);transform:translateX(0)}}.imandra-logo-link{display:-webkit-box;display:-ms-flexbox;display:flex;--logoColorStart:#08f;--logoColorEnd:#00f0b4;--logoColorEl-0:#08f;--logoColorEl-1:#008bf5;--logoColorEl-2:#0098f0;--logoColorEl-3:#00a4e6;--logoColorEl-4:#00afdb;--logoColorEl-5:#00bdd6;--logoColorEl-6:#00c9cc;--logoColorEl-7:#00d6c4;--logoColorEl-8:#00e0bb;--logoColorEl-9:#00f0b4}.imandra-logo-link:focus,.imandra-logo-link:hover{--logoColorStart:#1d1a7f;--logoColorEnd:#ec6995;--logoColorEl-0:#1d1a7f;--logoColorEl-1:#342380;--logoColorEl-2:#4a2b82;--logoColorEl-3:#623687;--logoColorEl-4:#793e89;--logoColorEl-5:#91468a;--logoColorEl-6:#a64e8c;--logoColorEl-7:#c05991;--logoColorEl-8:#d66194;--logoColorEl-9:#ec6995}.imandra-logo-svg{--logoHeight:var(--fontSize--basic);--transitionLogo:var(--transitionsForButtons);height:var(--logoHeight)}.logo-part{-webkit-transition:var(--transitionLogo);transition:var(--transitionLogo);fill-rule:evenodd;clip-rule:evenodd}.logo-part-0{fill:var(--logoColorEl-0)}.logo-part-1{fill:var(--logoColorEl-1)}.logo-part-2{fill:var(--logoColorEl-2)}.logo-part-3{fill:var(--logoColorEl-3)}.logo-part-4{fill:var(--logoColorEl-4)}.logo-part-5{fill:var(--logoColorEl-5)}.logo-part-6{fill:var(--logoColorEl-6)}.logo-part-7{fill:var(--logoColorEl-7)}.logo-part-8{fill:var(--logoColorEl-8)}.logo-part-9{fill:var(--logoColorEl-9)}.page-header-menu-nav{border-radius:var(--round-corners);display:inline-block}@media screen and (min-width:780px){.page-header-menu-nav{display:none}}.page-header-menu-nav__button{display:-webkit-box;display:-ms-flexbox;display:flex;height:calc(var(--mainFontSize)*2);position:relative;-webkit-transition:var(--transitionsForButtons);transition:var(--transitionsForButtons);width:calc(var(--mainFontSize)*3);-webkit-box-pack:center;-ms-flex-pack:center;justify-content:center;-webkit-box-align:center;-ms-flex-align:center;align-items:center;background:var(--buttonBackgroundColor--cta);border:none;border-radius:var(--round-corners);color:var(--buttonColor--cta);cursor:pointer;outline:none;z-index:99}.page-header-menu-nav__button:hover{background:var(--buttonBackgroundColor--cta--hover);color:var(--buttonColor--cta--hover)}.page-header-menu-nav__icon{width:calc(var(--space--1)*1.2)}.page-header-menu-nav__icon-path{fill:var(--buttonIconColour--cta)}.page-header-menu-nav__icon-path--close{fill:var(--menuIconNavCloseColour)}.page-nav-menu-container{--menuTopOffset:calc(var(--headerHeight) - var(--space--1));--menuArrowOffset:0;--menuNavWidth:704px;--menuNavHeight:unset;--menuNavOffset:0;--menuCardOpacity:0;--menuCardOffset:0;--menuCardOffsetY:-16px;--menuCardMarginBottom:0;--menuZIndex:-1;--menuCardSectionTitleMargin:var(--space--1) 0 var(--space--d2) var(--space--1);--menuCardItemMargin:0 0 var(--space--d2) 0;--menuCardIconPadding:0 var(--space--1);--menuCardsDirection:row;--menuCardsWrap:nowrap;--menuIconWidth:var(--space--2);--menuIconHeight:var(--space--2);--menuBigIconWidth:var(--space--3);--menuBigIconHeight:var(--space--3);--fontWeight--button:600;--menuCardSectionTitleSize:var(--fontSize--basic);--menuCardMenuitemTitleSize:var(--fontSize--basic);--menuCardMenuitemSubtitleVisibility:block;display:none;left:0;min-height:100vh;position:absolute;top:var(--menuTopOffset);width:100%;z-index:var(--menuZIndex)}@media screen and (min-width:780px){.page-nav-menu-container{display:unset}}.page-nav-mobile-menu-container{--menuTopOffset:0;--menuNavWidth:98%;--menuNavHeight:unset;--menuNavOffset:0;--menuCardOpacity:1;--menuCardOffset:0;--menuCardOffsetY:0;--menuCardMarginBottom:var(--space--1);--menuZIndex:100;--menuCardSectionTitleMargin:var(--space--1) 0 var(--space--d2) var(--space--1);--menuCardIconPadding:0 var(--space--d2);--menuCardsDirection:column;--menuCardsWrap:wrap;--menuCardItemMargin:0;--menuIconWidth:var(--space--2);--menuIconHeight:var(--space--2);--menuCardSectionTitleSize:var(--fontSize--smaller);--menuCardMenuitemTitleSize:var(--fontSize--smaller);--fontWeight--button:600;left:0;min-height:100vh;position:absolute;top:var(--menuTopOffset);width:100%;z-index:var(--menuZIndex)}.page-nav-mobile-menu-container .type--mobile{-webkit-column-gap:0;-moz-column-gap:0;column-gap:0;grid-template-columns:repeat(2,1fr);padding-left:var(--space--d2);row-gap:var(--space--1)}@media screen and (min-width:600px){.page-nav-mobile-menu-container .type--mobile{gap:unset;grid-template-columns:repeat(3,1fr)}}.page-nav-mobile-menu-container .type--nav-close{background:none;position:absolute;right:0;top:2}@media screen and (min-width:780px){.page-nav-mobile-menu-container{display:none}}.page-nav-menu{border-radius:var(--space--d2);-webkit-box-shadow:var(--shadow--2);box-shadow:var(--shadow--2);height:var(--menuNavHeight);margin:var(--space--d2) auto 0;overflow:hidden;padding-bottom:calc(var(--space--d2)*3);padding-top:calc(var(--fontSize--basic)/2);position:relative;-webkit-transition:all .15s cubic-bezier(.215,.61,.355,1);transition:all .15s cubic-bezier(.215,.61,.355,1);width:var(--menuNavWidth)}.page-nav-menu,.page-nav-menu__arrow{background:var(--menuBackgroundColor);-webkit-transform-origin:center;transform-origin:center}.page-nav-menu__arrow{border-radius:calc(var(--fontSize--basic)/4);display:block;height:16px;left:50%;pointer-events:none;position:absolute;top:calc(var(--fontSize--basic)/8);-webkit-transform:translateX(var(--menuArrowOffset)) rotate(45deg);transform:translateX(var(--menuArrowOffset)) rotate(45deg);-webkit-transition:-webkit-transform .15s cubic-bezier(.215,.61,.355,1);transition:-webkit-transform .15s cubic-bezier(.215,.61,.355,1);transition:transform .15s cubic-bezier(.215,.61,.355,1);transition:transform .15s cubic-bezier(.215,.61,.355,1),-webkit-transform .15s cubic-bezier(.215,.61,.355,1);width:16px;z-index:var(--zIndexFront)}.page-nav-menu__list{display:-webkit-box;display:-ms-flexbox;display:flex;-webkit-box-pack:center;-ms-flex-pack:center;justify-content:center;-webkit-box-orient:vertical;-webkit-box-direction:normal;-ms-flex-direction:var(--menuCardsDirection);flex-direction:var(--menuCardsDirection)}.page-nav-menu__card{display:grid;gap:var(--space--1);list-style:none;margin-bottom:var(--menuCardMarginBottom);opacity:var(--menuCardOpacity);position:relative;-webkit-transform:translateY(var(--menuCardOffsetY));transform:translateY(var(--menuCardOffsetY));-webkit-transition:opacity .4s ease-out,-webkit-transform .4s cubic-bezier(.16,1,.3,1);transition:opacity .4s ease-out,-webkit-transform .4s cubic-bezier(.16,1,.3,1);transition:opacity .4s ease-out,transform .4s cubic-bezier(.16,1,.3,1);transition:opacity .4s ease-out,transform .4s cubic-bezier(.16,1,.3,1),-webkit-transform .4s cubic-bezier(.16,1,.3,1);will-change:transform,opacity}.page-nav-menu__card.type--docs,.page-nav-menu__card.type--products,.page-nav-menu__card.type--use-cases{grid-template-columns:repeat(2,288px)}.page-nav-menu__card.type--company{grid-template-columns:repeat(2,224px)}.page-nav-menu__card-section.type--extended{--menuCardSectionTitleMargin:var(--space--1) 0 var(--space--d2) var(--space--1);--menuCardItemMargin:0 0 var(--space--1) 0}.page-nav-menu__card-section h6{margin:var(--menuCardSectionTitleMargin)}.page-nav-menu__card-section a{margin:var(--menuCardItemMargin)}.page-nav-menu__card-section-title{color:var(--menuSectionTitleColor);font-size:var(--menuCardSectionTitleSize);font-weight:var(--fontWeight--button);line-height:var(--lineHeight--basic)}.page-nav-menu__card-list{list-style:none}.page-nav-menu__card-list-menuitem{--outlineFocusVisibility:none;display:-webkit-box;display:-ms-flexbox;display:flex;-webkit-box-align:center;-ms-flex-align:center;align-items:center;text-decoration:none}.page-nav-menu__card-list-menuitem:focus{outline:var(--outlineFocusVisibility)}.page-nav-menu__card-list-menuitem:hover [data-element=subtitle],.page-nav-menu__card-list-menuitem:hover [data-element=title]{color:var(--menuItemTitleColorHover);-webkit-transition:color .3s cubic-bezier(.16,1,.3,1);transition:color .3s cubic-bezier(.16,1,.3,1)}.page-nav-menu__card-list-menuitem:hover [data-element=arrow]{opacity:1;-webkit-transform:translateX(24px);transform:translateX(24px);-webkit-transition:opacity .3s ease-out,-webkit-transform .2s cubic-bezier(.5,1,.89,1);transition:opacity .3s ease-out,-webkit-transform .2s cubic-bezier(.5,1,.89,1);transition:opacity .3s ease-out,transform .2s cubic-bezier(.5,1,.89,1);transition:opacity .3s ease-out,transform .2s cubic-bezier(.5,1,.89,1),-webkit-transform .2s cubic-bezier(.5,1,.89,1)}.page-nav-menu__card-list-menuitem-arrow{height:12px;line-height:1.45;opacity:0;position:absolute;right:0;width:12px}.page-nav-menu__card-list-menuitem-arrow-path{fill:var(--menuItemTitleColorHover)}.page-nav-menu__card-list-icon-container{display:-webkit-box;display:-ms-flexbox;display:flex;padding:var(--menuCardIconPadding)}.page-nav-menu__card-list-icon{height:var(--menuIconHeight);width:var(--menuIconWidth)}.page-nav-menu__card-list-icon.big-icon{--menuIconWidth:var(--menuBigIconWidth);--menuIconHeight:var(--menuBigIconHeight)}.page-nav-menu__card-list-icon .fillme{-webkit-transition:fill .3s cubic-bezier(.215,.61,.355,1);transition:fill .3s cubic-bezier(.215,.61,.355,1)}.page-nav-menu__card-list-title{color:var(--menuItemTitleColor);display:-webkit-box;display:-ms-flexbox;display:flex;font-size:var(--menuCardMenuitemTitleSize);font-weight:400;line-height:var(--lineHeight--1);position:relative;width:-webkit-fit-content;width:-moz-fit-content;width:fit-content}.page-nav-menu__card-list-title.type--multiline{line-height:1.2}.page-nav-menu__card-list-subtitle{color:var(--menuItemSubTitleColor);display:var(--menuCardMenuitemSubtitleVisibility);font-size:var(--fontSize--smaller);line-height:var(--lineHeight--basic)}.fillme{fill:var(--colorSvgPathHover,#c7e5db)}.news{min-height:var(--space--5)}.news__link{text-decoration:none}.news__date,.news__link{color:var(--color--Blue--100)}.top-nav-bar__item{font-size:.625rem!important}.notification-page{color:#fff;display:-webkit-box;display:-ms-flexbox;display:flex;text-align:center;-webkit-box-orient:vertical;-webkit-box-direction:normal;-ms-flex-direction:column;flex-direction:column;height:100vh;-webkit-box-pack:center;-ms-flex-pack:center;justify-content:center;-webkit-box-align:center;-ms-flex-align:center;align-items:center}.notification-page__model-list{max-width:800px}.notification-page--404{background:url(/static/assets/images/www/transitions/top--media--intro.3d38b6ace57cff439a68.svg) -100% -3em/2484px 384px repeat-x,linear-gradient(200deg,#321628,#423970 53%,#19b596)}.notification-page--error,.notification-page--unauthorized{background:url(/static/assets/images/www/transitions/top--media--intro.3d38b6ace57cff439a68.svg) -100% -3em/2484px 384px repeat-x,-webkit-gradient(linear,left bottom,left top,from(#b11742),to(#250337));background:url(/static/assets/images/www/transitions/top--media--intro.3d38b6ace57cff439a68.svg) -100% -3em/2484px 384px repeat-x,linear-gradient(0,#b11742,#250337)}.notification-page--notice{background:url(/static/assets/images/www/transitions/top--media--intro.3d38b6ace57cff439a68.svg) -100% -3em/2484px 384px repeat-x,-webkit-gradient(linear,left top,right top,from(#4b6cb7),to(#182848));background:url(/static/assets/images/www/transitions/top--media--intro.3d38b6ace57cff439a68.svg) -100% -3em/2484px 384px repeat-x,linear-gradient(90deg,#4b6cb7,#182848)}.notification-page__notification{display:-webkit-box;display:-ms-flexbox;display:flex;-webkit-box-orient:vertical;-webkit-box-direction:normal;-ms-flex-direction:column;flex-direction:column;height:100%;-webkit-box-pack:center;-ms-flex-pack:center;justify-content:center;-webkit-box-align:center;-ms-flex-align:center;align-items:center}.notification-page__imandra-face{margin-bottom:2rem}.notification-page__title{font-size:3.2rem;margin:0}.notification-page__message{font-size:2rem;font-weight:100;margin:0}@media (max-width:400px){.notification-page__message{font-size:1.8rem}}.notification-page__body{margin-top:3rem}.notification-page__button{background:-webkit-gradient(linear,left top,right top,color-stop(3%,#4ff8af),color-stop(51%,#2780ee),to(#4d83bb));background:linear-gradient(90deg,#4ff8af 3%,#2780ee 51%,#4d83bb);border:none;border-radius:8px;color:#f0f8ff;display:block;font-size:1em;letter-spacing:0;line-height:2.4em;margin-top:3em;min-width:31rem;opacity:.9;text-align:center;text-decoration:none;text-transform:uppercase;-webkit-transition:all .2s ease-out;transition:all .2s ease-out;width:75%}.notification-page__button:hover{background:-webkit-gradient(linear,left top,right top,color-stop(3%,#4ff8af),color-stop(61%,#2780ee),to(#2780ee));background:linear-gradient(90deg,#4ff8af 3%,#2780ee 61%,#2780ee);-webkit-box-shadow:0 5px 5px 0 rgba(6,36,73,.5);box-shadow:0 5px 5px 0 rgba(6,36,73,.5);color:#fff;opacity:1;-webkit-transform:translateY(-1px);transform:translateY(-1px)}.notification-page__quote{font-size:1.1rem;margin:4rem 0}.notification-page__footer{bottom:5px;left:0;position:absolute;text-align:center;width:100%}.footer__copyright-notice a{color:#1e90ff;text-decoration:none}.footer__copyright-notice a:hover{color:#7fffd4}.model{background-color:#f4f4f4;border-bottom:1px solid #e1e1e1;font-size:1.5rem;font-weight:300;min-height:calc(100vh - 4.5rem)}.model h1,.model h2,.model h3,.model h4{color:#3c485a}@media (min-width:768px){.model__cover{height:30em}}.model__header{margin-bottom:20px}@media (min-width:768px){.model__header{margin-top:-5em}}.model__content{padding:0}.model-cover{background:url(/static/assets/images/markets/model-page-new-cover.8cc134214da49cdaf6f2.svg) 50%/cover,radial-gradient(circle at 1% 0,#051e3f,#084d9a 29%,#1071c0 57%,#0d65b6 76%,#053774);height:100%}.model-header{background-color:#fff;border-bottom:1px solid #e1e1e1;border-radius:4px;-webkit-box-sizing:border-box;box-sizing:border-box;margin:0 auto;max-width:960px;padding:0 .5em;position:relative;width:100%}@media (min-width:400px){.model-header{padding:0 1.5em;width:100%}}@media (min-width:550px){.model-header{padding:0 2em;width:100%}}@media (min-width:1000px){.model-header{padding:0;width:100%}}@media screen and (min-width:400px){.model-header{border-left:1px solid #e1e1e1;border-right:1px solid #e1e1e1}}.model-header__company-image{border:1px solid #fff;border-radius:8px;height:6em;left:0;margin:0 auto;position:absolute;right:0;top:-3em;width:6em}.model-header__content{display:-webkit-box;display:-ms-flexbox;display:flex;padding-top:calc(3em + 20px);-webkit-box-orient:vertical;-webkit-box-direction:normal;-ms-flex-direction:column;flex-direction:column}@media screen and (min-width:768px){.model-header__content{-webkit-box-orient:horizontal;-webkit-box-direction:normal;-ms-flex-direction:row;flex-direction:row;padding-bottom:20px}}.model-header__heading{font-size:1.7em;font-weight:300px;letter-spacing:0}.model-header__info{-webkit-box-flex:1;-ms-flex:1;flex:1}@media (min-width:400px){.model-header__info{padding:0 20px}}@media (min-width:768px){.model-header__info{padding:0 40px}.model-header__info:last-of-type{border-left:1px solid #e1e1e1}}.footer{display:-webkit-box;display:-ms-flexbox;display:flex;font-size:.8rem;height:4.5rem;-webkit-box-pack:center;-ms-flex-pack:center;justify-content:center;-webkit-box-align:center;-ms-flex-align:center;align-items:center}@media screen and (min-width:400px){.footer{font-size:1.2rem}}.footer__copyright-notice{margin:0;text-align:center}.settings,.welcome{margin-bottom:40px;margin-top:40px}.welcome__activate{display:-webkit-box;display:-ms-flexbox;display:flex;margin-top:40px;-ms-flex-pack:distribute;justify-content:space-around}.welcome__activate a{font-size:1.2rem;height:auto;line-height:1.6rem;padding-bottom:10px;padding-top:10px;white-space:normal}.simple-core-page{display:-webkit-box;display:-ms-flexbox;display:flex;min-height:100vh;width:100%;-webkit-box-orient:vertical;-webkit-box-direction:normal;-ms-flex-direction:column;flex-direction:column;-webkit-box-pack:justify;-ms-flex-pack:justify;background-color:#f4f4f4;justify-content:space-between}.simple-core-page__nav{background:linear-gradient(350deg,#2b66ad,#07183b 80.71%);-webkit-box-shadow:0 1px 1px #222e44;box-shadow:0 1px 1px #222e44}.simple-core-page__content{background-color:#fff;border:1px solid #e1e1e1;border-radius:4px;-webkit-box-sizing:border-box;box-sizing:border-box;margin:20px auto 0;max-width:1200px;padding:0 .5em;position:relative;width:100%}@media (min-width:400px){.simple-core-page__content{padding:0 1.5em;width:100%}}@media (min-width:550px){.simple-core-page__content{padding:0 2em;width:100%}}@media (min-width:1000px){.simple-core-page__content{padding:0;width:100%}}@media screen and (min-width:400px){.simple-core-page__content{padding-left:40px;padding-right:40px}}.simple-core-page__footer{background-color:#fff;border-top:1px solid #e1e1e1}