Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
index: do not use IDs for styles #491
The unused IDs were removed.
Note that I haven't removed the use of IDs for other parts. They are probably are not causing conflicts. In the future rework of the site, we'll have to be more mindful and use something like rscss. And anyway they are pretty well scoped so the risks are quite small.