.d-header{height:80px}.d-header .logo-big{height:2.2em !important}
/*# sourceMappingURL=desktop_theme_6_efd012d33674e6e39714aa029186bd0096a9a86d.css.map?__ws=forum.bpmn.io */