Différences

Ci-dessous, les différences entre deux révisions de la page.

--- pratique:informatique:config_firefox [26/11/2019 10:12] – créée Zatalyz
+++ pratique:informatique:config_firefox [23/01/2022 20:44] – Zatalyz
@@ Ligne 1: / Ligne 1: @@
 ====== about:config de Firefox ======
-Trucs utiles à modifier dans ''about:config''
+Trucs utiles à modifier dans ''about:config''.
+Plus d'infos sur [[http://kb.mozillazine.org/About:config_entries]].
+  * ''dom.event.clipboardevents.enabled'' => false. Désactive le fait que certains sites empêchent le copier/coller
+  * ''extensions.pocket.enabled'' => false. Désactive pocket.
+  * ''network.trr.mode'' => désactivation du DNS de firefox, car ce dernier passe par cloudflare. [[https://support.mozilla.org/en-US/kb/firefox-dns-over-https|Info ici.]] Valeur à 5 :
+    * 0: désactivé par défaut
+    * 1: firefox choisi le mode le plus rapide
+    * 3: utilisation de DNS par HTTPS uniquement
+    * 5: désactivation explicite du DNS par HTTPS
+  * ''editor.resizing.enabled_by_default'' : à changer pour permettre de redimensionner les images à la main (comme dans le plugin TinyEditor de Pluxml). Éviter de modifier si y'a pas besoin.
+<WRAP center round info 60%>
+Chercher les occurrences de "cloudflare" dans about:config et nettoyer.
+</WRAP>
+===== Hacker le thème de Firefox =====
+  * https://github.com/MrOtherGuy/firefox-csshacks : suivre les instructions. Juste une suite de modif sur userChrome.css mais les scripts déjà renseignés aident bien.
+Ma version actuelle :
+<code css userChrome.css>
+/* Import your desired components first */
+@import url(chrome/tabs_on_bottom.css);
+/* Onglets améliorés */
+.tab-content {
+	margin: 0 !important;
+}
+.tab-background{
+  outline: none !important;
+  border: none !important;
+  box-shadow: none !important;
+  background-clip: padding-box;
+  margin-bottom: 0 !important;
+  padding: 0 !important;
+  background-color: rgba(0, 0, 0, .3);
+  border-radius: 1em 1em 0 0 !important;
+}
+.tab-background[selected]{
+  border-radius: 1em 1em 0 0 !important;
+}
+.tab-background[selected] > .tab-context-line {
+  margin-top: -3px !important;
+}
+</code>
-  * dom.event.clipboardevents.enabled => false. Désactive le fait que certains sites empêchent le copier/coller
-  * extensions.pocket.enabled => false. Désactive pocket.