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

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