Small fix on Platform menu to prevent links looking weird in some casesGithubGithubJanuary 3, 2023platform