Hi @Laurent
You should check the following medium article that describes functionalities of p5.js web editor. If you go to minute 15 of the video, you can see how Cassie modifies html and css in the same editor. She has done an excellent job explaining all the feature of the online editor and you might find it more convenient than the PDE in p5js mode.
Kf