search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Remove normal weights for links #182

Closed Alizter closed 2 years ago

Alizter commented 2 years ago

This should be inherited from the base style.

Fixes #174

Alizter commented 2 years ago

cc @Zimmi48

Zimmi48 commented 2 years ago

Does not seem sufficient to fix the issue:

Screenshot 2021-09-27 at 13-24-01 Coq Team The Coq Proof Assistant

Alizter commented 2 years ago

Whoops that was the wrong style sheet. This should now fix it. By the way, which font do we actually want? The thinner one looks better to me imo, but I've defaulted to the thick one here.

Zimmi48 commented 2 years ago

I also prefer the thinner version.

Alizter commented 2 years ago

Alright, I've changed it to a thin one now.

Zimmi48 commented 2 years ago

Thanks a lot for fixing this @Alizter!