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

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