.d-editor-button-bar .d-icon-code{width:2.5em}
/*# sourceMappingURL=common_theme_45_4edd7adff15d3d88feefeab07b88dfed78cff3d7.css.map?__ws=forum.arduino.cc */