add proper css to the most wanted list

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io

GNU General Public License v3.0

52 stars 7 forks source link

Closed kohlhase closed 8 years ago

tkw1536 commented 8 years ago

@kohlhase If you want I can help out with that

kohlhase commented 8 years ago

Yes, that would be nice, but it looks better already.

tkw1536 commented 8 years ago

What kind of css would you like?

kohlhase commented 8 years ago

I think it is good as it is, closing.