Salut Mintalo
Superbe enchaînement d'astuces CSS pour Firefox
Je pense aussi comme thyam qu'il faudrait mettre ça en bloc dans une rubrique à part, pour que cela ne se noie pas dans les moult sujets (après ce que j'en dis)
Re: Firefox 57+ modifs possibles
Posté : mar. 17 oct. 2017 21:00
par david37
... ça fait beaucoup de codes
Blagues à part, super post Mintalo !
Comme tout le monde avant, jpense qu'il faut trouver un moyen d'en faire un tuto à part entière, c'est super intéressant.
Re: Firefox 57+ modifs possibles
Posté : mer. 18 oct. 2017 15:40
par Hervé-P
— Bé pour ma part, j'ai copié toutes les astuces de “Mintalo” dans un document .odt. Comme ça, je peux y réfléchir à tête reposée en faisant mon propre CSS !
— Par contre, je ne sais pas si c'est valable pour Waterfox (pas tout, bien évidemment !)… De plus, je ne sais si le dossier “chrome” est à créer DANS le dossier “profils” (suite de caractères incompréhensibles) ou à côté de celui-ci ('vais déjà essayer sous Windows)…
— Merci de m'apporter des précisions. Cordialement.
Re: Firefox 57+ modifs possibles
Posté : mer. 18 oct. 2017 15:51
par Mintalo
Hugh !! Hervé-P
Oui, c'est valable pour Waterfox et oui, ce dossier "Chrome" est à créer DANS le profil comme je l'ai précisé dans le premier post.
Hugh !! j'ai dit.
Re: Firefox 57+ modifs possibles
Posté : mer. 18 oct. 2017 15:55
par Hervé-P
— Le Sage sioux a dit : Merci pour la précision ! Hugh !
*** Super ! Pour ce qui est de la barre d'onglets au-dessous de la barre d'adresses, ça fonctionne “au millipoil” ! ***
(Je vais trier car, pour les “anti-telemetry”, ils sont dans le fichier “user.js” de Waterfox !)
Plage de lecture (reader) (agrandir)
Posté : mer. 18 oct. 2017 16:03
par Mintalo
Vous avez sans doute remarqué, (enfin.....pour ceux qui lisent ), que le "Reader" expose le texte au milieu de la page avec une énorme marge de chaque côté. Ce qui est un shouïa ridicule et oblige scroller comme une bête sur de longs textes .
Remède :
On se souvient (n'est-ce-pas Hervé-P ), qu'il avait été précisé au tout début de ce fil, qu'un dossier "Chrome" devait être créé DANS le profil.
Il va falloir maintenant y créer un autre fichier qu'on va nommer : userContent.css
Dans ce fichier userContent.css, on va rentrer ceci :
/*si vous voulez fixer votre taille de police*/
@-moz-document url-prefix("about:reader") {
.container{
max-width: 100% !important;
font-size: 20px !important;
}
}
(à vous de modifier la font-size selon vos goûts et votre vue. Faites des essais en relançant FF à chaque fois.)
**Vue du Reader avant modification :
**Vue du Reader après modification :
Pour info, j'ai modifié la couleur du fond AVANT le .css car ensuite, on ne voit plus l'icône du choixde teinte. Ne me demandez pas pourquoi
Re: Firefox 57+ modifs possibles
Posté : mer. 18 oct. 2017 16:05
par Mintalo
@ Hervé-P
oui, c'est possible de modifier directement dans le "user.js" ou en passant par "about:config", au choix
Re: Firefox 57+ modifs possibles
Posté : mer. 18 oct. 2017 19:22
par Hervé-P
— Ben dis-donc : t'as dû boire beaucoup de “menthe à l'eau” pour “sortir” toutes ces astuces, toi ! En tous cas, merci.
— Pour ceux qui (comme moi) sont souvent sur Windows, le dossier Profils de Firefox/Waterfox se trouve ici :
C:\Utilisateurs\[XXX]\AppData\Roaming\Mozilla\Firefox\Profiles\[suite de caractères incompréhensibles].default.
— Pour Waterfox :
C:\Utilisateurs\[XXX]\AppData\Roaming\Waterfox\Profiles\[suite de caractères incompréhensibles].default. Afficher les fichiers cachés !
— J'admets que c'est bien plus court sous Linux ! Mais c'est pour le préciser aux nombreux “windowsiens” qui pourraient profiter de tes astuces, ô “Tulliuspleindastus”, mon Centurion !
*** Ta dernière astuce est déjà copiée dans le document idoine ! ***
— Cordialement !
Boîte "page marquée" (supprimer "Les étiquettes")
Posté : mer. 18 oct. 2017 21:22
par Mintalo
Voilà un truc dont je ne me suis jamais servi dans la boîte "Pages Marquées" les étiquettes : (encadré en rouge)
Et hop !!
Pour ce faire et toujours dans notre fichier userChrome.css, ajouter :
si vous vous servez d'un script, merci de mettre un petit mot.
Je n'attends pas de "merci" mais je souhaite savoir uniquement si je continue, si ça sert à quelque chose ou si je pédale dans le vide.
Re: Firefox 57+ modifs possibles sans extension
Posté : ven. 20 oct. 2017 10:22
par débitant
avec 253 vues, je ne pense pas que tu pédales dans le vide
mais effectivement un petit retour d'utilisation serait un plus