Community
Participate
Working Groups
We should use @media (prefers-color-scheme: dark)
New Gerrit change created: https://git.eclipse.org/r/155228
Gerrit change https://git.eclipse.org/r/155228 was merged to [master]. Commit: http://git.eclipse.org/c/pdt/org.eclipse.pdt.git/commit/?id=56f7d154cf4df23d9b10cf8e8bd444c67e8a1f66