Page 3 sur 13

Re: Firefox 57+ modifs possibles

Posté : mar. 17 oct. 2017 15:47
par arghlub

Dernier message de la page précédente :

Salut Mintalo ;)
Superbe enchaînement d'astuces CSS pour Firefox 8-)
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
:shock: :shock: ... ça fait beaucoup de codes :l :lol:
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 :D ), 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 :

Code : Tout sélectionner

/*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 :
FF_8.jpg
**Vue du Reader après modification :
FF_9.jpg
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 :oops:

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 :shock: : 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)
FF_10.jpg
Et hop !!
FF_11.jpg
Pour ce faire et toujours dans notre fichier userChrome.css, ajouter :

Code : Tout sélectionner

#editBMPanel_tagsRow { display: none !important;}

Re: Firefox 57+ modifs possibles

Posté : ven. 20 oct. 2017 08:15
par Mintalo
bonjour,
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 ;)