¿Cómo puedo aumentar el tamaño de la información sobre herramientas en Firefox 57?

3

Actualmente estoy en Firefox 56 y he visto la advertencia de que muchos complementos se romperán en 57, que llegará pronto. Estoy usando uno de los complementos obsoletos para aumentar el tamaño del texto en la información sobre herramientas, y estoy buscando otra forma de resolver ese problema en la nueva versión.

Actualmente uso Stylish para hacer esto. Stylish está siendo reemplazado por Stylus, pero Stylus no puede modificar elementos internos del navegador como la información sobre herramientas de la misma manera que Stylish. Sé que los scripts de Greasemonkey (pronto ViolentMonkey) también pueden modificar CSS, pero no pude encontrar uno que haga esto y no sé lo suficiente sobre el script de usuario para escribirlo yo mismo. En mis búsquedas también encontré algunos complementos que modifican las fuentes del navegador, pero ninguno que personaliza específicamente la información sobre herramientas.

¿Hay un script de usuario o un complemento no heredado que pueda usar para cambiar el tamaño de fuente de la información sobre herramientas en el navegador? No quiero algo que "haga que todo sea más grande"; Ya he sintonizado todo lo demás. Solo necesito una forma de controlar la información sobre herramientas.

Aquí está el CSS con estilo que estoy usando actualmente. (No escribí esto; lo encontré en una colección de estilos de usuario).

#btTooltip,
#un-toolbar-tooltip,
#tooltip,
.tooltip,
#aHTMLTooltip,
#urlTooltip,
tooltip
{
  font-size: 16px !important; 
  font-family: tahoma, verdana !important;
  background-color: #FFFFE0 !important;
  color: #000000 !important;
  -moz-appearance: none !important;
  border-color: #000000 !important ;
  background-position: center center !important;
  background-repeat: no-repeat !important;
  background-attachment: scroll !important;
}
Monica Cellio
fuente

Respuestas:

2

Has proporcionado casi la respuesta completa con el código anterior: solo agrega el script a userChrome.css . En Windows, ese archivo reside en C: \ Users \ nombre de usuario \ AppData \ Roaming \ Mozilla \ Firefox \ Profiles \ profile id .default \ chrome, y si no existe, se puede crear allí. En cualquier sistema operativo, solo ingrese la URL acerca de: soporte para encontrar la carpeta de perfil y busque la carpeta Chrome .

Carpeta de perfil

Mozilla tiene documentación para userChrome.css . Algunos de los usos que he encontrado para esta hoja de estilo es hacer que la pestaña seleccionada sea más obvia, eliminar el botón de cerrar pestaña, cambiar el ancho de la pestaña y permitir que la barra lateral se reduzca por debajo de su límite preestablecido. AFAIK, este CSS seguirá siendo funcional en Firefox 57.

Por cierto, para buscar extensiones de Firefox compatibles con la API de extensión web, solo busque la etiqueta Firefox57 .

DrMoishe Pippik
fuente
¡Gracias! No sabía sobre userChrome.
Monica Cellio