Achernar's programming page

I'm still adding new links. Visit in the coming weeks to see updates. Last update: 2021-02-22

Table of contentsTable des matières

Chrome extensionsExtensions pour Chrome

Javascript bookmarklets

Javascript userscripts

CSS userstyle (Non-programming)

Fixing sitesRéparer des sites

Participation in projects of other programmersParticipation à des projets d'autres programmeurs (2020-05-12)

This section is mostly to promote other projects.
My participation is anecdotal. At the very least it proves that I care enough to propose bug fixes.


Chrome extensions

Here is a list of my extensions for google chrome.

Alias bookmarks (2020-05-05)

Set aliases for your bookmarks. Aliases are called from the omnibox: "/ aliasName [params]" and from the popup (ctrl+.)

This extension mimics the ability of Firefox and mozilla based browsers to use aliases as a shortcut to call specific bookmarks.

Important notice: (2020-05-05)
With the lastest chrome version (80+) you absolutely need to change one of "Alias Bookmarks" options. Check the option "Use alternate method to execute bookmarklet code". Failing to do this will prevent bookmarklets from working properly. The next version of Alias Bookmarks will come with this option enabled by default.

It allows you to set alias/shortcut for your URL or javascript bookmarklets or folders, directly in the bookmark manager. You can then call an alias from chrome's omnibox or from the extension's popup window (keyboard shortcut: "ctrl+.").
Simple "http(s)" bookmarks as well as javascript bookmarklets can be called with or without parameters.
If it works as a bookmark, it works as an alias.

Since your aliases are stored with your bookmarks, exporting or transfering them also transfers the aliases.

Starting with version, folder alias is available. It can be used to open static pages, or to make a group search on multiple search sites (examples provided).

Version 0.9.8 introduces auto-completion in popup window (see options page to enable).

Direct link to chrome web store

Attribuez des alias à vos favoris. Les alias sont appelés dans la barre d'adresse: "/ nomAlias [params]" ou depuis le popup (ctrl+.)

Cette extension imite la capacité de Firefox et des navigateurs basés sur le moteur mozilla, d'utiliser un alias comme raccourci pour appeler l'un de vos favoris.

Remarque importante: (2020-05-05)
Avec les dernières versions de chrome (80+) il est devenu indispensable de changer une des options d'Alias bookmarks. Cocher l'option "Utiliser une méthode alternative pour exécuter les bookmarklets". Faute de quoi les bookmarklets ne fonctionneront pas correctement. La prochaine version d'Alias Bookmarks activera cette option par défaut.

L'extension vous permet d'attribuer un alias/raccourci à un lien http, à un bookmarklet javascript, et aussi à un dossier, directement dans le gestionnaire de favoris. Vous pouvez alors appeler un alias depuis la barre d'adresse de chrome, ou depuis la popup de l'extension (raccourci clavier: "ctrl+.").
Les favoris avec un lien "http(s)", ainsi que les favoris bookmarklets peuvent être appelés avec ou sans paramètres.
Si un lien fonctionne en favori, il fonctionne aussi comme alias.

Vos alias étant stockés dans les favoris, l'exportation ou le transfert de ceux-ci copie aussi les alias.

A partir de la version, les alias de dossier sont disponibles. Un alias de ce type peut-être utilise pour ouvrir un groupe de pages statiques, ou pour effectuer une recherche sur un ensemble de moteurs de recherche (exemples fournis).

La version 0.9.8 introduit l'auto-complétion dans la fenêtre popup (voir la page d'options pour activer).

Lien direct vers le chrome web store

Extension log

Logs when an extension is installed, uninstalled, upgraded, enabled or disabled. Also keeps track of each chrome update.

Keep track of all your old extensions, as well as current and past states of the extensions still installed.
"Extension log" logs when an extension is installed, uninstalled, upgraded, enabled or disabled.

View all these informations in a table sorted by name, state (enabled, disabled, uninstalled), extension type, or id. With a list of events associated with each extension ever installed (as long as "Extension log" is always enabled).

Aside from its main purpose, "Extension log" records a log of the date and version of every chrome update.

You can save the whole log history, in case of crash. Right click the extension icon and select "Export log" (save the whole page or one of the textareas). No restore function available yet, but you can access the stored values manually from the background page's javascript console (and update from there if necessary).

EL allows you to save extensions packages in its original format or as a zip file.

2018-12-31: (0.5.6)
Badge used to warn user when an event occurs: now fully functional.
You can now import options, and chrome version history from a backup. Import of events is still in beta.

2018-09-12: (0.5)
Extension packages can be saved as CRX and/or ZIP files.
The list of current permissions for all extensions is displayed in the tooltip of their version number.

2018-09-04: (0.4.11)
Added support to download CRX packages.

2018-08-22: (
Some minor fixes and layout improvements.

2018-07: (
Stable version. Still missing import data feature. Almost done but development halted at least for several weeks. Sorry.

2018-06-19: (0.4)
Still in beta, but shouldn't crash.

Direct link to chrome web store

Tiny Proxy

A small footprint proxy extension. Allows simple and complex settings. Quick and easy to switch between proxies.

Online help is available here.

Tiny proxy allows you to manage multiple proxy servers, and to change easily between them.

The current proxy settings are defined by Tiny Proxy as PAC scripts.

This extension is a work in progress. Your input is welcome (and please, do).

TP implements the following types of proxies:

TP allows you to add temporary proxy rules (see popup). This way you can combine multiples proxy profiles.


2020-03-03 (0.6.3): bugs fixes + export of a subset of proxies
2019-12-07 (0.6): Strengthened handling of user provided PACscripts, color-coded errors while editing, drag & drop (editing)...
2019-10-23 (0.5): Bugs fixes and new features (import proxy servers by copy/paste list from website)
2019-07-05 ( Bug fixed for proxy names using unicode chars. Chrome refuses non-ASCII chars in proxy script. Symbols used in other charsets/languages won't generate a proxy error anymore. Hopefully...
2019-07-04 ( bugs fixes, including failure with servers with per-protocol additional servers
2019-07-02 (0.4.3): added online help page
2019-06-25 (0.4.2): added: draggability to proxies list in "switch" and "pool".

Direct link to chrome web store

Javascript bookmarklets

View list of images used by the current page (2018) (2021-01-19)

This bookmarklet is based on one of Jesse's Bookmarklets. It is a modified and more complete version of "list alts" in the "Validation Bookmarklets" category. (the list of the many enhancements is not available yet)

This bookmarklet lists all images used in <img> tags and in css styles. It also tries to list alternate versions of images as provided in srcset attributes.
It shows them in a list, limiting their maximum size to avoid overflowing the display. Simply click an image to open it in its own tab.

The source is in this link(*). Current version (beta): 2021-01-19
Click on the link to display the list of images used in this page.

(*) drag & drop on your bookmark bar to add the link to your bookmarks.

IMDb - enlarge images in cast listing (x2)

This bookmarklet increases the size of all images in the cast list on IMDb. It doubles the width/height and replaces the current image with an image of the appropriate dimensions. Can be applied multiple times if x2 is not enough.

The source is in this link(*). Current version: 20181025

(*) drag & drop on your bookmark bar to add the link to your bookmarks.

IMDb cast listing

Javascript userscripts

GitHub - add links to sort by most recently updated (2018-12-27) (2020-06-26)

A link "(r)" is added in the two tabs "Issues" and "PR'. It is used as a single click shortcut to the corresponding listing sorted by "Recently updated".

GitHub tabs

And in the GitHub page header (since 2019-11-22).

GitHub tabs

On the page displaying all your Pull requests, or Issues, a new category ("Commenter") now appears (added 2019-11-28).
Clicking this button will display all the issues/pr in which you made a comment. They might not appear in the other categories.

GitHub commenter

GitHub commenter

Get the script from
The script has its own GitHub page.

GitHub - flip comparison between forks/branches - add an icon to swap sides when comparing changes

This userscript adds an icon to swap the sides of a comparison. It can be used when you need to sync your fork to the original repository.

GitHub flip icon

The script has its own GitHub page.

Gmx / - re-enable email "standalone" view (separate window)Gmx / - réactiver l'ouverture des emails dans une fenêtre popup (2020-01-17) (2021-02-22)

Early January 2020 or late December 2019, Gmx made a modification that changed the behavior of the "open email" icon (see screenshot). Now it opens the emails within the gmx webmail interface instead of opening a popup window.
The functionnality is still available, but I could not find an option in the interface to change it. So here is a userscript to do that.

The script adds a checkbox next to the buttons toolbar (see screenshot). When checked the popup behavior is enabled, when unchecked it's the current default. The script remembers your choice.
On the first installation, the option is automatically set to checked.
If the userscript is installed outside of a script manager (Tampermonkey, Greasemonkey, Violentmonkey, ...), it uses an alternative method to store the checkbox state. It remembers the state as long as the window/tab is open.

As of July 1st 2020, gmx has removed this function on all versions of its site.
Starting with v0.6 (July 12), the script tries to mimick how the functionality worked. It opens a popup with the email displayed. It does this by duplicating a frame of the site, and hides the nonrelevant elements of the page: the listing, the ads panels, and until they can be used correctly inside the popup, the button bar.
If, when using the popup, you see elements appearing that shouldn't, please contact me so I can fix it.
August 4th 2020, again gmx internal working has changed. The popup can't display the message as it did. I have to find another work-around...
August 5th 2020, the new version (0.6.2) revives the popup view.
February 10 2021, fix code to handle minor modification of HTML of the page.

The script has been tested on , , , , , , , .

Get the script from

Début janvier 2020 ou fin décember 2019, Gmx a effectué des modifications qui ont changé le comportement de l'icône "Ouvrir e-mail" (voir capture d'écran). Maintenant cela ouvre l'email dans l'interface webmail au lieu d'une fenêtre popup.
La fonctionnalité est toujours disponible, mais rien dans l'interface ne permet de la changer. Voici donc un userscript pour le faire.

Le script ajoute une case à cocher dans la barre de boutons (voir capture d'écran). Quand elle est cochée, l'ouverture de la fenêtre popup est activée. Quand la case est décochée cela rétablit le comportement actuel par défaut. Le script garde en mémoire votre choix.
L'option est automatiquement cochée au moment de l'installation du script.
Si le script est installé en dehors d'une extension de gestion de scripts (Tampermonkey, Greasemonkey, Violentmonkey, ...) il utilise une méthode alternative pour sauvegarder l'état de l'option. Il s'en souvient tant que la fenêtre/onglet est ouverte.

Au 1er juillet 2020, gmx a retiré cette fonction de toutes les versions de son site. Ce script ne fonctionne plus actuellement.
A partir de la version v0.6 (12 juillet), le script essaie de simuler le fonctionnement de cette option. Il ouvre une fenêtre popup contenant le message. Pour cela il duplique une "frame" du site, et cache les éléments inutiles de la page : la liste, les panneaux de publicité, et jusqu'à ce que cela fonctionne correctement dans la popup, la barre de boutons.
Si quand vous utilisez la popup, vous voyez des éléments qui ne devraient pas y être affichés, s'il vous plaît, contactez-moi pour que je puisse corriger.
4 août 2020, le fonctionnement interne de gmx a encore changé. La popup ne peut plus afficher le message directement. Je dois trouver une autre méthode. Suite au prochain épisode...
5 août 2020, la nouvelle version (0.6.2) rétablit l'affichage du message dans une fenêtre séparée.
10 février 2021, correction suite à une petite modification du code HTML de la page.

Ce script a été testé sur , , , , , , , .

Le script est disponible sur

Gmx standalone

Gmx / - show new unread foldersGmx / - marquer nouveaux dossiers non-lus (2020-03-23) (2020-09-24)

Gmx new unread
This userscript highlights the folders where new emails have arrived by using a red background on the message count. It keeps track of how much unread emails there is in each folder, and which one are marked, so that this info isn't lost when you close the window or logout.

A folder is unmarked when the unread count decreases (you've read an email). You can also unmark a folder - without the need to read a message - by pressing CTRL + left-clicking the folder's spanner next to the message count (see screenshot).

Upon installation of the script, you must reload the webmail page/tab. Folders will then be marked when new emails are received.


  • Supports multiple accounts on the same domain.
  • Compatible with,,,,,, (and , which use
    Contact me if there are other domains. But it should work correctly for these domains too.
  • If you are reading your emails in a private tab, tampermonkey needs to be configured to run in private mode. And the "Security" option "Store data in incognito mode" needs to be set to "Permanent" if you want the script to store its data (marked folders and unread count).

This is a work in progress. I can add an option interface to change the marked color (if you are already using userstyles to change the default colors, and red doesn't work well) as well as other settings (eg. never mark specific folders).

I have another userscript for gmx ("standalone view") to add the possibility to open an email in its own stand-alone popup window (as it used to be).

If you're german or spanish, and find this script useful, you can propose translation of this text in your language. Any help is welcomed.

Get the script from

Ce userscript marque les dossiers où de nouveaux emails sont arrivés en colorant le fond du compteur en rouge. Il garde en mémoire le décompte des messages non-lus de chaque dossier, ainsi que l'état marqué, afin de pouvoir les réutiliser après que vous ayez fermé l'onglet, ou que vous vous soyez déconnecté.

Un dossier repasse a l'état non-marqué quand le compte des messages non-lus diminue (vous venez d'ouvrir un email). Vous pouvez aussi dé-marquer un dossier en appuyant sur la toucher CTRL pendant que vous cliquez sur le symbôle de clé situé à côté du compteur (voir capture d'écran).

Au moment de l'installation du script, vous devez recharger la page/l'onglet du webmail. Les dossiers seront marqués dès l'arrivée de nouveaux messages.


  • Supporte plusieurs comptes sur le même domaine.
  • Compatible avec,,,,,, (et , qui utilise
    Contactez-moi si d'autres domaines existent. Mais le script devrait aussi fonctionner sur ces domaines.
  • Si vous lisez vos email dans un onglet privé, tampermonkey doit être configuré pour fonctionner en navigation privée. Si vous voulez qu'il garde en mémoire l'état lu/marqué/non-lu en navigation privée, vous devez aussi mettre l'option "Sécurité"/"Enregistrer les données dans le mode de navigation privée" en "Permanent".

Ce script est toujours en développement. Si vous le désirez, je peux ajouter un interface pour modifier des options: changer la couleur du marqueur (si vous utiliser des styles pour modifier les couleurs par défaut, et que le rouge ne convient pas), et d'autres (ex: ne jamais marquer certains dossiers).

J'ai un autre script pour gmx ("standalone view") pour redonner la possibilité d'ouvrir un email dans sa propre fenêtre (comme c'était le cas auparavant).

Si vous être allemand ou espagnol, et que ce script vous plaît, vous pouvez m'envoyer la traduction de ce texte dans votre langue. Toute aide est la bienvenue.

Le script est disponible sur

Google - dismiss cookies warningGoogle - supprime l'avertissement de cookies (2020-10-02) (2020-11-10)

This userscript auto-agrees to the cookie warning dialog. The dialog should only appear once.

The popup is not hidden, will flash while it is dismissed by the script and disappear for ever (until you clear your cookies). It's on purpose in case the script fails and leave you in a state where google constantly asks the same question.

If you are really fed up with cookie warnings on many sites, I suggest installing an extension that handles it automatically (including for google). I can suggest one that works well for chrome and firefox. On the add-on/extension store, search for: I don't care about cookies

Note for Firefox users: If you are using tampermonkey as userscript manager, this script won't work. There is a bug in Tampermonkey and Tampermonkey beta - as well as Greasemonkey - which prevents the script to be executed on the popup. Other scripts from other programmers might not work properly too; use the solution below.
Solution for Firefox: As far as I know, only one userscript manager works properly: ViolentMonkey. Feel free to install it to run this userscript.

Get the script from

Ce script accepte automatiquement l'avertissement sur les cookies. Le dialogue ne devrait apparaître qu'une fois.

La popup n'est pas cachée, et apparaît un court moment le temps que ce script la confirme. Elle ne devrait plus réapparaître (jusqu'à ce que vous supprimiez les cookies). Ceci à dessein pour éviter une problème si le script échoue et que google continue à vous poser la même question.

Si vous en avez marre des avertissements de cookies présentés par de nombreux sites, je vous suggère d'installer une extension qui le gère automatiquement (y compris pour google). Je peux en suggérer une qui fonctionne bien bien sur chrome et sur firefox. Faites une recherche sur le texte: I don't care about cookies

Note pour les utilisateurs de Firefox : Si vous utilisez tampermonkey en tant que gestionnaire de userscripts, ce script ne fonctionnera pas. Il y a un bug dans Tampermonkey et Tampermonkey beta - ainsi que dans Greasemonkey - qui empêche le script d'être exécuté sur la popup. D'autres scripts provenant d'autres programmeurs peuvent aussi rencontrer ce problème et ne pas fonctionner correctement; utilisez la solution çi-dessous.
Solution pour Firefox : Pour autant que je sache, un seul gestionnaire de scripts fonctionne correctement : ViolentMonkey. Libre à vous de l'installer.

Le script est disponible sur

Google cookie dialog

Google - fix TLD linksGoogle - corriger l'extension TLD des liens

This fixes regional TLDs in google links (to other services).

On its homepage (,,, or whichever TLD is used), and on the search result pages, google directs some of its internal links to the google domain associated with the TLD used for the geographic position of your IP address. This means that if you want to use a google TLD of another country (or the .com from outside the US), or if you're travelling and still want to use your home TLD, you'll end with links to the local TLD.

Google search - TLDs

This userscript rewrites every link that doesn't use the .com TLD or the TLD of the current page, and replaces every non-matching TLD with the current TLD. In the screenshots, all the tagged links are modified to use the page TLD. (Read the github page for a more complete explanation)

More infos and screenshots on the github repository.
Get it from GitHub. (and click the "Raw" button to load it into tampermonkey)

Ce script corrige le domaine de premier niveau ("TLD", ex: .com .fr .ca) des liens vers d'autres services de google.

Sur sa page d'accueil (,,, peut importe le TLD utilisé), et sur les pages de résultats, google redirige certains de ses liens vers le domaine associé au TLD utilisé par défaut dans la zone géographique de votre adresse IP. Cela signifie que si vous voulez utiliser le domaine TLD d'un autre pays (ou .com en dehors des États-Unis), ou si vous voyager et voulez continuer à utiliser votre TLD, vous allez vous retrouver avec des liens vers le TLD local.

Google search - TLDs

Ce script réécrit les liens qui ne finissent pas en .com ou avec le TLD de la page actuelle, et le remplace pas le TLD de la page. Dans la capture d'écran, tous les liens marqués (carré rouge) sont modifiés pour utiliser le TLD de la page. (La page github donne plus de précisions, en anglais)

Plus d'infos et de captures d'écrans sur github.
Le script est disponible sur GitHub. (cliquer le bouton "Raw" pour charger automatiquement dans tampermonkey)

Instagram - browse not loggedInstagram - naviguer non-identifié (2020-05-10) (2020-12-17)

This script inserts a stylesheet to hide the small non-blocking "login" dialog, and the "login to continue" blocking dialog. It also auto-accepts the cookies dialog.

It checks every link on the page, as well as the ones added when scrolling down. And fixes all these links so you can click on them without having to use the right-click menu "Open link in a new tab".
Left-click and CTRL + Left-click now work as expected.

Unfortunately, "stories" and "tagged" links can't be unlocked. While for other links, a script locks them, in this particular case the content is not even sent to you browser if you're not logged in.

Get the script from

Ce script insère une feuille de style pour cacher le petit dialogue non-bloquant "Se connecter", et le dialogue bloquant "Connectez-vous pour continuer". Il accepte automatiquement le dialogue au sujet des cookies.

Il vérifie tous les liens de la page, ainsi que ceux ajoutés quand vous la faites défiler. Et corrige ces liens pour pouvoir les utiliser sans avoir à ouvrir le menu clic-droit et à cliquer "Ouvrir le lien dans un nouvel onglet"
Clic-gauche and CTRL + Clic-gauche fonctionnent maintenant normalement.

Malheureusement les liens "histoires / stories" et "identifé(e) / tagged" ne peuvent être débloqués. Contrairement aux autres liens qui sont seulement bloqués pas un script, dans ce cas particulier le contenu n'est même pas envoyé à votre navigateur si vous n'êtes pas connecté.

Le script est disponible sur

Youtube - dismiss "sign-in" dialogYoutube - cacher le dialogue "connectez-vous" (2020-09-28) (2020-12-03)

When you're not signed into youtube, a popup opens automatically asking you to identify.

This userscript hides this dialog and auto-dismisses it.
It also takes care of the GDPR cookie dialog for those not using an extension to dismiss GDPR cookie warnings.

And it prevents those 2 dialogs from pausing/stopping the current video if one is playing.
As of version 0.4 there is no exception left. The userscript should prevent pausing and stopping by popups in all situations. (If you still encounter this problem, please report it)

Other smaller popups/dialogs are also dismissed. They are not hidden in case some are not noticed by the script. This is the reason you could still spot them for a short moment before they disappear.

Please report any problem.
I'm unable to test properly on smartphones, but it should work on the latest browsers. If you have a problem provide the version number of the browser you are using. I'll be able to simulate it and try to fix.

Get the script from

Quand vous n'êtes pas connecté à youtube, une popup s'ouvre automatiquement vous demandant de vous identifier.

Ce userscript cache ce dialogue et répond "non merci".
Il se charge aussi de cacher le message RGPD à propos des cookies pour ceux qui n'utilisent pas une extension qui cache automatiquement ces messages.

Il empêche aussi ces 2 dialogues de pauser/stopper la vidéo s'il y en a une en train de jouer.
A partir de la version 0.4 il n'existe plus d'exception. Le script devrait empêcher les popups de pauser ou stopper la vidéo. (si vous rencontrez encore ce problème, envoyez-moi un message)

D'autres popups/dialogues sont aussi fermés. Ils ne sont pas cachés au cas où l'un d'eux ne serait pas remarqué par le script. C'est la raison pour laquelle vous pouvez encore les voir pendant un instant avant qu'ils ne disparaissent.

Faites-moi part des problèmes éventuels.
Il ne m'est pas possible de tester convenablement sur les smartphones, mais le script devrait fonctionner sur les derniers navigateurs. Si vous avez un problème veuillez me fournir la version du navigateur que vous utilisez. Il me sera alors possible de le simuler et tenter de faire fonctionner le script correctement.

Le script est disponible sur

youtube sign in youtube GDPR

Wayback Machine - toolbar togglerWayback Machine - (dé)masquer la barre d'outils (2020-04-22) (2020-08-03)

When browsing archived pages on, the site is meddling with the page margins and padding, and displaying its toolbar over the page. This toolbar, most of the time, hides parts of the header/menus of the page. The toolbar disappears when javascript is disabled for, but margins and padding values can become messiers, hiding parts of the original page. Also, many sites need javascript to be displayed properly.

The toolbar can be closed by clicking the appropriate icon, but disappears forever (until reloading). And, once again, margins and padding keep their wrong values.

This userscript allows the user to set the toolbar in a "toggle" mode: always masked, and displayed when the mouse is moved over the top of the tab's viewport. Margins and padding are restored to the original values when the toolbar is put in this mode.

As a safeguard in case this script breaks a page (it shouldn't), the "toggle" mode is only activated when double-clicking an empty space in the toolbar (whitespace either on the right or on the left between the logo and the capture infos).
Moving the mouse at the top of the page's viewport should display the toolbar. If it doesn't, it means that an element of the page, usually the header or a fixed element, is in front of the toolbar. Maintain both ctrl and alt keys down while moving the mouse (at the top). When the toolbar reappears, release the keys. It stays visible as long as the mouse is over it.

New in version 0.6.1 (2020-05-06): Once the toolbar is in "toggle" mode, you can click its "close" icon - if it is green - and the toolbar will disappear until you use the "ctrl and alt" trick. If the button is gray it means that the userscript won't be able to respawn it.

  • #1: a copy of this page without javascript. Transparency added to show hidden content due to modified margins.
  • #2: with javascript and the toolbar. Margins are still incorrect.
  • #3: the toolbar in "float" mode. The mouse moved over it to make it visible, the margins are finally correct.

Get the script from

Quand vous visitez des pages archivées sur, ce site modifie les valeurs d'origine des marges de la page, et affiche sa barre d'outils par dessus le contenu. La plupart du temps, la barre d'outils masque une partie de l'entête et des menus de la page. Cette barre disparaît si javascript est désactivé pour le site, mais les marges restent erronnées, masquant des parties de page. De plus, beaucoup de sites ont besoin de javascript pour s'afficher correctement.

La barre d'outils peut être fermée en cliquant sur l'icône appropriée, mais disparaît alors définitivement (jusqu'au rechargement). Et les marges restent erronnées.

Ce script permet à l'utilisateur de placer la barre d'outils en mode "masqué": toujours cachée et affichée quand la souris est déplacée en haut de la fenêtre. Les marges sont restaurées à leur valeur d'origine quand la barre est dans ce mode.

Comme protection contre d'éventuelles erreurs du script, le mode "masqué" n'est activé que si on double-clique un espace vide de la barre d'outils (à gauche ou à droite entre le logo et les informations d'archivage).
Déplacer la souris en haut de la page devrait faire réapparaître la barre. Si ce n'est pas le cas, cela signifie qu'un élément de la page, habituellement l'entête ou un élément fixe, se trouve au dessus de la barre d'outils. Maintenez les touches ctrl et alt enfoncée pendant que vous déplacez la souris en haut de la page. Relâchez les touches quand le barre réapparaît. Elle restera visible aussi longtemps que la souris se trouvera au dessus.

Nouveau dans la version 0.6.1 (2020-05-03): Quand la barre d'outil est en mode "masqué", vous pouvez cliquer sur son icône "fermer" (si il est de couleur verte). Elle disparait alors totalement jusqu'à ce que vous utilisiez l'astuce "ctrl et alt". Si le bouton est gris cela signifie que ce userscript ne pourra pas la faire réapparaître.

  • #1: une archive de cette page sans javascript. La transparence a été ajoutée pour voir le contenu caché dû aux marges modifiées.
  • #2: avec javascript et la barre en mode normal. Les marges ne sont pas encore correctes.
  • #3: la barre en mode "masqué". La souris par dessus pour l'afficher, et les marges enfin correctes.

Le script est disponible sur

wayback no js#1

wayback normal#2

wayback floating toolbar#3

CSS userstyle (Non-programming)

Gmx - webmails - restore blue buttons bar (2020-09-24) (2021-01-13)

In july 2020 Gmx changed the color scheme of the buttons bar from blue to gray (like This modification was applied to all gmx webmails domains ( .net, .com, .fr, .es, ... ).

This stylesheet restores the original layout. It is the exact style, and was recovered from a backup I've made earlier this year.
It works on:,,,,,, gives you the choice of the layout color scheme. This fix works only on the default layout.

The stylesheet is available on and on .

gmx buttons bar

Google - Fix menu accessibility (2020-04-22) (2020-05-18)

Early April, google changed some parameters in its stylesheet. Since then, when accessing the "Settings" menu on google search homepage, some of the items can be unclickable depending on the size of the window.
It's due to the fact that in html the form is taking the whole width of the page and is displayed over the menu.

In the screenshot I've set a red background, partially transparent, to the form. You can see that it overlaps the menu (opaque yellow background).
When this fix is applied, the menu is displayed in front and is clickable.

The stylesheet is available on

google menu fixed

Was apparently fixed by google (2020-04-26)
The problem has reappeared. I noticed it today (2020-05-17)
Apparently fixed... for the time being... (2020-09)

Google search - restore "classic" style (pre-favicon)Google recherche - restaurer le style "classique" (pré-favicon) (2020-01-17) (2021-01-20)

This userstyle can modify the new google search results layout (with the favicon line).
It can:
  • swap the 2 lines: the "favicon" line and the "title" line.
  • hide the favicon (by default)
  • reduce the font size of the result blocks. 90% (default) is close to the old size (before 2019).

The stylesheet is available on (non-configurable stylesheet).
as well as on in the userstyle/userCSS format (configurable options).

The userCSS format allows these configurable options (screenshot #2):

  • swap the 2 lines: the "favicon" line and the "title" line.
  • hide the favicon (by default) (as of 03/2020, the icon doesn't seem to appear as much, or not at all)
  • reduce the font size of the result blocks. 90% (default) is close to the old size (before 2019).
  • multiple options to reduce whitespace: line height and margins
  • change the font used to display search results

Suggested values to achieve a layout closer to the pre-2020 look:

  • activate "Recover whitespace"
  • "Text's line height": 1.4
  • "Bottom margin": 10px
  • other options are already set to recommended values. Click the "x" (reset) to restore default.
  • FYI: if google plays again with fonts, the font family name used to be: arial,sans-serif

Cette feuille de styles peut modifier la nouvelle mise en page de la page de résultats du google (avec la ligne de favicon).
Elle peut:
  • échanger les 2 lignes: la ligne "favicon" et celle du titre.
  • cacher l'icône favicon (par défaut)
  • diminuer la taille du lettrage des blocs de résultats. 90% (defaut) est proche de l'ancienne taille (avant 2019).

Cette feuille de styles est disponible sur (version non-configurable).
ainsi que sur au format "userstyle/userCSS" (version configurable: options pour chaque correction).

Le format userCSS permet les options de configuration (image #2) :

  • échanger les 2 lignes: la ligne "favicon" et celle du titre.
  • cacher l'icône favicon (par défaut) (à partir de mars 2020, l'icône n'apparaît plus autant, ou plus du tout)
  • diminuer la taille du lettrage des blocs de résultats. 90% (defaut) est proche de l'ancienne taille (avant 2019).
  • plusieurs options pour réduire l'espace inutile: hauteur de ligne et marges
  • changer la police d'affichage utilisée pour les résultats

Valeurs suggérées pour retrouver une apparence proche de celle qui existait avant 2020 :

  • activer "Recover whitespace"
  • "Text's line height": 1.4
  • "Bottom margin": 10px
  • les autres options ont déjà la valeur recommandée. Cliquer "x" (reset) pour restaurer la valeur par défaut de cette feuille de style.
  • pour info: si google change la police, le nom de celle habituellement utilisée est: arial,sans-serif

Google search

Google search

Google Images - Show sizeGoogle Images - Afficher la taille (2020-04-22) (2020-11-15)

Late February 2020, google images stopped displaying image size over thumbnails.

This fix is available in 2 formats:

  • The simple non-configurable stylesheet always displays the size and hides it when the mouse is over the thumbnail (#1).
    Available on
  • With the user-stylesheet (if the extension managing your styles can handle it) you can choose if the size should always be displayed, or only on mouse-over; and if it is displayed at the top or bottom, and on the left or right of the thumbnails (#4).
    Available on

Fin février 2020, google images a arrêté d'afficher la taille des images sur les miniatures.

Ce correctif est disponible en 2 formats:

  • La simple feuille de style non-configurable affiche toujours la taille et la masque quand la souris passe sur la miniature (#1).
    Disponible sur
  • Avec la user-stylesheet (si l'extension qui gère vos styles est capable de comprendre ce format) vous choisissez si la taille est toujours affichée, ou seulement quand la souris passe sur l'image; et si elle est affichée en haut ou en bas, et à gauche ou droite des miniatures (#4).
    Disponible sur

GI size at bottom#1

GI with hover#2

GI size at top#3

GI stylus menu#4

Hotmail - reduce whitespaceHotmail - récupérer les espaces vides (2018-12-17) (2019-06-21)

Recover ads banner space (bottom and right side).
Hides "Upgrade to Office 360" link.
Reduces the height of lines in the folders list.
Reduces the height of lines in emails listing in the 3 modes: without preview pane, with preview pane at the bottom and with preview pane on the right side.

The stylesheet is available on

Récupère l'espace des bannières publicitaires (en bas et à droite).
Cache le lien "Mise à niveau vers Office 360".
Réduit la hauteur des lignes dans la liste des dossiers.
Réduit la hauteur des lignes dans la liste des messages, dans les 3 modes: sans le volet de lecture, avec le volet en bas et avec la volet à droite.

La feuille de styles est disponibles sur

hotmail screenshots

IMDb - fullscreen imageviewer (2019-11-23) (2020-07-06)

This stylesheet removes dead space around the image.

Note that even if your adblocker hides the space used by the ads (the "dead" space at the top of the screen in the screenshot), it doesn't make the image use the whole space. This stylesheet does.

Update 2020-07-06: IMDb is implementing a new design. Depending on your cookies, you are given one of the 3 layouts.
The stylesheet has been updated to work with the new design, and make it look like the old one: hiding the header (menu and search field) and the footer of the page and recovering the space used by the top bar (back button and # of image).

In the new design, the top bar will be visible all the time. If you want to be able to toggle it like the bottom info box, use the userscript instead.

The userstyle is available on
The userscript is available on

IMBd mediaviewer

With the new 2020 design:

IMBd mediaviewer IMBd mediaviewer

Tuinadvies/Matelma - Fix CPU consumptionTuinadvies/Matelma - Corriger la surcharge du processeur (2020-04-27)

When viewing a page with many items, the processor (CPU) consumption of the tab can increase a lot. The more you scroll down the page, the more it will use.
See screenshot (chrome): the "CPU" column shows 49.9% used by the "Webwinkel" tab.

It is due to the way the page is designed. A picture placeholder (spinning dots) is used for each item while its picture loads. The problem is that this spinning image, while being hidden from your view when the real image is displayed, is still spinning in the background. And there is one for each item. The consequence is that the page can gradually become sluggish, especially when scrolling.

The % could vary depending on the size of the browser window. It may not be as noticeable for everybody (slow/fast computer).

This very simple userstyle fixes the issue by completely hiding the spinning images. The tab consumption goes down to 0% when it is applied.

Available on

Quand vous affichez une page contenant beaucoup d'articles, la consommation du processeur (CPU) peut augmenter fortement. Plus vous faites défiler la page, plus la consommation sera importante.
Voir la capture d'écran (chrome): la colonne "CPU" indique 49.9% utilisé par l'onglet "Webwinkel".

Ceci est dû à la manière dont la page est conçue. Une image temporaire (des points en rotation) est utilisée pendant que l'image de l'article est chargée. Le problème est que, bien que masquée une fois l'image définitive affichée à sa place, l'image temporaire continue à tourner en arrière-plan. Et il y en a une par article. La conséquence est que la page peut devenir lente à réagir, notamment lors du défilement du contenu.

Le % peut varier en fonction de la taille de la fenêtre du navigateur. Cela peut être plus ou moins perceptible selon l'utilisateur (ordinateur lent/rapide).

Cette feuille de style toute simple corrige le problème en cachant définitivement les images temporaires animées. La consommation de l'onglet retombe à 0% quand ce correctif est appliqué.

Disponible sur

chrome tab's CPU usage

Tuinadvies/Matelma smaller headerTuinadvies/Matelma petit bandeau (2019-09-26) (2020-11-18)

This stylesheet applies to "Tuinadvies"/"Matelma" gardening webstores:

It reduces the size of the page header once you scroll the page down.
Useful on smaller screens.


  • #1: normal layout without the stylesheet
  • #2: colored strip removed
  • #3: when the page is scrolled, only a small part of the header is visible
    It reappears when the mouse is moved over it (like #2)

It is available on

Cette feuille de styles s'applique à toutes les versions du site de vente de la chaîne "Tuinadvies"/"Matelma":

Réduit la taille du bandeau en haut de page une fois que vous faites défiler le contenu de la page vers le bas.
Utile pour les écrans de petite taille.

Captures d'écran:

  • #1: apparence normale du site sans le feuille de style
  • #2: la ligne colorée est retirée
  • #3: quand la page défile, seule une petite partie du bandeau apparaît
    Il réapparaît en entier quand la souris passe au dessus (comme #2)

Disponible sur

without style#1

with style#2

small header#3

Fixing sites

IMDb - reduce bloatware (2019-11-24)

Each update to the IMDb site slows it down. I have discovered that simply adding the following user rules to your filters revives the site.

First, you should probably install "uBlock Origin", the ad-blocking extension. Then, in the "My filters" tab, add these filters.*$
! 20191124: speed up imdb page load. Many scripts loaded from there. But still works without them.
! 20191128  while entering a search query, the suggestion list will be missing.
!           It's that, or 34+ script loaded each time.  
! privacy ?
If you have another extension handling filtering, see if it supports this syntax.

"Le Figaro" archivé sur "Wayback Machine" (2020-04-04) (2020-05-30)

Quand des pages du site "Le Figaro" sont archivées sur le site "Wayback Machine" d'"Internet Archive", celles-ci semblent être vides. Vous trouverez çi-dessous une technique pour pouvoir lire correctement ces pages.

Le problème vient d'un des scripts propres à la page du Figaro. Celui-ci efface le contenu de l'article quand le domaine de la page n'est pas Dans le cas présent le domaine est puisque c'est une page archivée.

La première solution est de désactiver javascript. Votre navigateur permet de le faire domaine par domaine, mais cela signifie que toutes les pages archivées pour d'autres domaines seront aussi sans javascript. Ce qui cassera beaucoup d'entre-elles.
Un autre inconvénient est que les images d'un article du Figaro sont chargées par script. Avec javascript désactivé, pas d'images en dehors de la première.

Une autre solution est d'utiliser une extension anti-pub pour bloquer les scripts des pages du Figaro archivées.
Dans uBlockOrigin, ajouter le filtre suivant:

Une fois ce filtre ajouté, les pages archivées du Figaro devraient être lisibles. Si elles ne le sont pas, vous avez loupé quelque chose.

La seconde partie de cette solution est de charger les images de la page avec un userscript. Ce userscript est chargé à l'aide d'une extension (greasemonkey, tampermonkey, violentmonkey). Vous trouverez le script sur GitHub (cliquer sur le bouton "Raw" pour le charger dans l'extension).

Participation in other programmers' projects

Awesome cookie manager (chrome extension)

Displays a list of all Google Chrome cookies. Allows searching, viewing, editing, saving, restoring, and deleting cookies.

On the chrome web store.
Its GitHub page.

Don't add custom search engines (chrome extension)

Google Chrome extension that stops sites from adding custom search engines.

On the chrome web store.
Its GitHub page.

Google image sizer (extension | userscript)

Simple extension to re-implement Google Images size filter (e.g. Larger than 2MP)

On the chrome web store.
The Firefox add-ons version.
Its GitHub page.

Make Google Images great again (userscript | chrome extension)

This web extension adds back "View Image" button to Google Image Search results.

The extension is outdated and won't work properly (as of May 2020). You can find it on the chrome web store.
Its GitHub page has a link to an updated version. Search for the issue here titled "Lastest version", and read the instructions to install.

TabFern (chrome extension)

TabFern is Google Chrome extension for saving and restoring sets of tabs, and for switching between windows and tabs from a vertical, grouped list.

On the chrome web store.
Its GitHub page.