Split CSS #90
Split CSS #90
Conversation
|
👍 |
| font-style: normal; | ||
| font-weight: 100; | ||
| src:local("Raleway Thin"),local("Raleway-Thin"),url("Raleway-Thin.woff") format("woff") | ||
| } |
There was a problem hiding this comment.
Shouldn't we simply remove this file?
There was a problem hiding this comment.
I commited this file by mistake.
|
👍 |
|
👍 (I am not convinced by the extra div encapsulating the doc, because it is not needed in our case and I consider it as an extra overhead ; if some user need it for layout purposes, it is very easy to add it. But OK, it's a detail). |
|
@omichel Could I ask you to try apply this PR on the Cyberbotics website? |
|
Done. |
|
perfect, thank you. |
|
Well, it doesn't work as expect... I am investigating why... |
|
What is the issue? |
|
The CSS was wrong. I fixed just it on the web site. |
|
I use Is your branch up-to-date? |
|
(I used |
|
Ok, that was the problem. I uploaded the correct version now. Thank you. |
|
So, now the web site is using the latest version: https://www.cyberbotics.com/doc/guide |
Attempt to fix #64