.d-header-icons #current-user{margin-bottom:3.5em}

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