Today's update: improving the site on mobile devices (smartphones and small tablets)

I hope it will work fine on all devices, as it is often painful to get it correct on the various hardware & software. Especially the old iphones with an outdated Safari.
It is not yet perfect, but I think it is already much more useable.

To keep the well-loved outdated retro theme unchanged on desktop, I relied on CSS to change the layout only for mobiles, and with a few javascript to move all the account/management/admin links into a "hamburger" menu in the top right corner.

So all the links appearing between [ ] in the title bars of the desktop version of the site), including the login link, can be found in that new menu.

Known issue that will stay:
- if you switch between compact/mobile and regular view (by resizing the window or turning the device), the content of the "hamburger" menu (in the corner) is not properly updated. Reloading the page solves the issue.

Known issues to be improved:
- the pages where lists with columns are displayed are not yet optimized, I'll see what I can do
- comments view could still be improved, but should already be better than before.

If you prefer to have the old/desktop style on mobile, it should still work if you enable the option "desktop version" (or something like that) in the menu of your mobile browser.

The snow effect of the header is not enabled on mobile, as I guess it is even less useful there.