.d-editor-button-bar .d-icon-code{width:2.5em}

/*# sourceMappingURL=desktop_theme_45_876de52e1721d5307bd5b85fa7c4354efd871462.css.map?__ws=forum.arduino.cc */