Tools, links, tip & tricks...

Useful links

Pages, cookies and other HTML stuff

If you need to inspect what is going on on a web page, you can use the developer tools embedded in your browser. The following explanations work with Edge, but similar actions are available in Firefox and Chrome/Chromium.

In your browser, press F12.

A popup may appear :


Click on the button «Open DevTools».

The tools appear on the right of the browser window :


The top menu bar allows to select various features (click on >> to see more):

There is a lot more to discover in dev tools, feel free to play with them.

One last thing: after a click on ..., you can choose where the Dev Tools appear (default to Dock side). Have fun !