.custom-header-links .headerLink a{color:blue;text-decoration:underline;font-size:1em}
/*# sourceMappingURL=common_theme_3_1805b8599da9dbd8f7093fe9dad0a7500aef7ffe.css.map?__ws=discourse.hookproductivity.com */