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