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

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