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